|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Angelo Ferrando 0001, Rafael C. Cardoso 0001 |
Towards Partial Monitoring: It is Always too Soon to Give Up.  |
FMAS  |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie Farrell, Matt Luckcuck (eds.) |
Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021. |
FMAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Hagemann |
Towards a Formalisation of Justification and Justifiability. |
FMAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Daumantas Pagojus, Alice Miller 0001, Bernd Porr, Ivaylo Valkov |
Simulation and Model Checking for Close to Realtime Overtaking Planning. |
FMAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddhartha Bhattacharyya, Jennifer Davis, Anubhav Gupta 0003, Nandith Narayan, Michael Matessa |
Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study. |
FMAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Maike Schwammberger, Gleifer Vaz Alves |
Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules. |
FMAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Gleirscher, Jan Peleska 0001 |
Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems. |
FMAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjørnar Luteberget |
Improving Online Railway Deadlock Detection using a Partial Order Reduction. |
FMAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kerstin I. Eder, Wen-ling Huang, Jan Peleska 0001 |
Complete Agent-driven Model-based System Testing for Autonomous Systems. |
FMAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu |
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. |
FMAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Alexander Schlaefer, Sibylle Schupp |
Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles. |
FMAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Usman 0024, Divya Gopinath, Corina S. Pasareanu |
QuantifyML: How Good is my Machine Learning Model? |
FMAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Saswata Paul, Stacy Patterson, Carlos A. Varela |
Formal Guarantees of Timely Progress for Distributed Knowledge Propagation. |
FMAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Luckcuck, Marie Farrell (eds.) |
Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, December 7, 2020. |
FMAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehrnoosh Askarpour |
How to Formally Model Human in Collaborative Robotics. |
FMAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez 0001, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger |
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. |
FMAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Gleirscher |
YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments. |
FMAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatma Kachi, Chafia Bouanaka, Souheir Merkouche |
A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems. |
FMAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael C. Cardoso 0001, Louise A. Dennis, Marie Farrell, Michael Fisher 0001, Matt Luckcuck |
Towards Compositional Verification for Modular Robotic Systems. |
FMAS |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license