default search action

combined dblp search
author search
venue search
publication search

ask others

3rd FMAS 2021 [virtual]

> Home > Conferences and Workshops > FMAS

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-11527
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-11527
Marie Farrell, Matt Luckcuck:
Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021. EPTCS 348, 2021
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-12583
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12583
Maike Schwammberger, Gleifer Vaz Alves:
Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules. 1-19
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-12577
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12577
Daumantas Pagojus, Alice Miller, Bernd Porr, Ivaylo Valkov:
Simulation and Model Checking for Close to Realtime Overtaking Planning. 20-37
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-12585
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12585
Angelo Ferrando, Rafael C. Cardoso:
Towards Partial Monitoring: It is Always too Soon to Give Up. 38-53
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-12586
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12586
Kerstin I. Eder, Wen-ling Huang, Jan Peleska:
Complete Agent-driven Model-based System Testing for Autonomous Systems. 54-72
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-12587
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12587
Saswata Paul, Stacy Patterson, Carlos A. Varela:
Formal Guarantees of Timely Progress for Distributed Knowledge Propagation. 73-91
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-12588
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12588
Muhammad Usman, Divya Gopinath, Corina S. Pasareanu:
QuantifyML: How Good is my Machine Learning Model? 92-100
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-12589
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12589
Mario Gleirscher, Jan Peleska:
Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems. 101-109
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-12578
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12578
Bjørnar Luteberget:
Improving Online Railway Deadlock Detection using a Partial Order Reduction. 110-127
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-12590
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12590
Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Alexander Schlaefer, Sibylle Schupp:
Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles. 128-135
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-12581
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12581
Willem Hagemann:
Towards a Formalisation of Justification and Justifiability. 136-149
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-12591
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12591
Siddhartha Bhattacharyya, Jennifer A. Davis, Anubhav Gupta, Nandith Narayan, Michael Matessa:
Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study. 150-166
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-12579
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12579
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu:
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. 167-175

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.