default search action

combined dblp search
author search
venue search
publication search

ask others

4th FMAS/ASYDE@SEFM 2022: Berlin, Germany

> Home > Conferences and Workshops > FMAS
> Home > Conferences and Workshops > SEFM

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-2209-13181
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-13181
Matt Luckcuck, Marie Farrell:
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. EPTCS 371, 2022
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14031
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14031
Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher:
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols. 1-19
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14034
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14034
Maike Schwammberger, Verena Klös:
From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata. 20-37
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14028
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14028
Predrag Filipovikj, Gustav Ung, Dilian Gurov, Mattias Nyberg:
Bounded Invariant Checking for Stateflow. 38-52
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14032
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14032
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. 53-61
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14035
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14035
Joe Collenette, Louise A. Dennis, Michael Fisher:
Advising Autonomous Cars about the Rules of the Road. 62-76
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14036
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14036
Gleifer Vaz Alves, Maike Schwammberger:
Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata. 77-85
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-15457
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-15457
Surya Murthy, Natasha A. Neogi, Suda Bharadwaj:
Scheduling for Urban Air Mobility using Safe Learning. 86-102
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14038
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14038
Astrid Rakow:
A Doxastic Characterisation of Autonomous Decisive Systems. 103-119
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14039
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14039
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. 120-138
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14045
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14045
Matteo Tadiello, Elena Troubitsyna:
Verifying Safety of Behaviour Trees in Event-B. 139-155
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14040
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14040
Gricel Vázquez, Radu Calinescu, Javier Cámara:
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. 156-174
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14041
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14041
Jordan Hamilton, Ioannis Stefanakos, Radu Calinescu, Javier Cámara:
Towards Adaptive Planning of Assistive-care Robot Tasks. 175-183
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14042
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14042
Yi Yang, Tom Holvoet:
Generating Safe Autonomous Decision-Making in ROS. 184-192
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14044
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14044
Rafael C. Cardoso, Angelo Ferrando, Michael Fisher:
Extending Attack-Fault Trees with Runtime Verification. 193-207
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14030
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14030
Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, Patrick J. Martin:
Monitoring ROS2: from Requirements to Autonomous Robots. 208-216

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.