default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th FMAS@iFM 2023: Leiden, The Netherlands
- Marie Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger
:
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023. EPTCS 395, 2023 - Astrid Rakow, Mehrnoush Hajnorouzi, Akhila Bairy:
What to tell when? - Information Provision as a Game. 1-9 - Asieh Salehi Fathabadi, Vahid Yazdanpanah:
Trust Modelling and Verification Using Event-B. 10-16 - Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan:
Comparing Differentiable Logics for Learning Systems: A Research Preview. 17-29 - László Antal, Hana Masara, Erika Ábrahám:
Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions. 30-68 - Jan Roßbach, Michael Leuschel:
Certified Control for Train Sign Classification. 69-76 - Christopher Chandler, Bernd Porr, Alice Miller, Giulia Lafratta:
Model Checking for Closed-Loop Robot Reactive Planning. 77-94 - Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Paulius Stankaitis:
Online Reachability Analysis and Space Convexification for Autonomous Racing. 95-112 - Srajan Goyal, Alberto Griggio, Jacob Kimblad, Stefano Tonetta:
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems. 113-129 - Christopher Bischopink:
Enforcing Timing Properties in Motorway Traffic. 130-143 - Thom S. Badings, Nils Jansen, Licio Romao, Alessandro Abate:
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. 144-152 - Ashfaq Farooqui, Behrooz Sangchoolie:
Towards Formal Fault Injection for Safety Assessment of Automated Systems. 153-161 - Neelanjana Pal, Taylor T. Johnson:
Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach. 162-179 - Francesco Belardinelli, Angelo Ferrando, Vadim Malvone:
3vLTL: A Tool to Generate Automata for Three-valued LTL. 180-187 - Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, Célia Picard:
Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers. 188-204 - Tommaso Mannucci, Julio de Oliveira Filho:
Runtime Verification of Learning Properties for Reinforcement Learning Algorithms. 205-219
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.
last updated on 2025-02-25 23:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
