|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yi Yang 0034, Tom Holvoet |
Generating Safe Autonomous Decision-Making in ROS.  |
FMAS/ASYDE@SEFM  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Tadiello, Elena Troubitsyna |
Verifying Safety of Behaviour Trees in Event-B. |
FMAS/ASYDE@SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Luckcuck, Marie Farrell (eds.) |
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022. |
FMAS/ASYDE@SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher |
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols. |
FMAS/ASYDE@SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Joe Collenette, Louise A. Dennis, Michael Fisher 0001 |
Advising Autonomous Cars about the Rules of the Road. |
FMAS/ASYDE@SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Maike Schwammberger, Verena Klös |
From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata. |
FMAS/ASYDE@SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordan Hamilton, Ioannis Stefanakos, Radu Calinescu, Javier Cámara |
Towards Adaptive Planning of Assistive-care Robot Tasks. |
FMAS/ASYDE@SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gricel Vázquez, Radu Calinescu, Javier Cámara |
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. |
FMAS/ASYDE@SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Grundt, Anna Köhne, Ishan Saxena, Ralf Stemmer, Bernd Westphal, Eike Möhlmann |
Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions. |
FMAS/ASYDE@SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael C. Cardoso 0001, Angelo Ferrando 0001, Michael Fisher 0001 |
Extending Attack-Fault Trees with Runtime Verification. |
FMAS/ASYDE@SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Predrag Filipovikj, Gustav Ung, Dilian Gurov, Mattias Nyberg |
Bounded Invariant Checking for Stateflow. |
FMAS/ASYDE@SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Astrid Rakow |
A Doxastic Characterisation of Autonomous Decisive Systems. |
FMAS/ASYDE@SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Surya Murthy, Natasha A. Neogi, Suda Bharadwaj |
Scheduling for Urban Air Mobility using Safe Learning. |
FMAS/ASYDE@SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Baptiste Pelletier, Charles Lesire, David Doose, Karen Godary-Dejean, Charles Dramé-Maigné |
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems. |
FMAS/ASYDE@SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleifer Vaz Alves, Maike Schwammberger |
Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata. |
FMAS/ASYDE@SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Perez 0001, Anastasia Mavridou, Thomas Pressburger, Alexander Will, Patrick J. Martin |
Monitoring ROS2: from Requirements to Autonomous Robots. |
FMAS/ASYDE@SEFM |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license