|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021., pp. 38-53, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Willem Hagemann |
Towards a Formalisation of Justification and Justifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021., pp. 136-149, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021., pp. 20-37, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021., pp. 150-166, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maike Schwammberger, Gleifer Vaz Alves |
Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021., pp. 1-19, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mario Gleirscher, Jan Peleska 0001 |
Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021., pp. 101-109, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bjørnar Luteberget |
Improving Online Railway Deadlock Detection using a Partial Order Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021., pp. 110-127, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021., pp. 54-72, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu |
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021., pp. 167-175, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021., pp. 128-135, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Usman 0024, Divya Gopinath, Corina S. Pasareanu |
QuantifyML: How Good is my Machine Learning Model? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021., pp. 92-100, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Saswata Paul, Stacy Patterson, Carlos A. Varela |
Formal Guarantees of Timely Progress for Distributed Knowledge Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021., pp. 73-91, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mehrnoosh Askarpour |
How to Formally Model Human in Collaborative Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, December 7, 2020., pp. 1-14, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, December 7, 2020., pp. 23-30, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mario Gleirscher |
YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, December 7, 2020., pp. 31-47, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Fatma Kachi, Chafia Bouanaka, Souheir Merkouche |
A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, December 7, 2020., pp. 48-64, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS ![In: Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, December 7, 2020., pp. 15-22, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|