default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th FORMATS 2022, Warsaw, Poland
- Sergiy Bogomolov
, David Parker:
Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings. Lecture Notes in Computer Science 13465, Springer 2022, ISBN 978-3-031-15838-4
Invited Papers
- Florian Luca, Joël Ouaknine, James Worrell:
Algebraic Model Checking for Discrete Linear Dynamical Systems. 3-15 - Patricia Bouyer, Paul Gastin, Frédéric Herbreteau, Ocan Sankur, B. Srivathsan:
Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next? 16-42 - Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann:
Monitoring Timed Properties (Revisited). 43-62
Probabilistic and Timed Systems
- Bernardo Jacobo Inclán, Aldric Degorre, Eugene Asarin:
Bounded Delay Timed Channel Coding. 65-79 - Yiming Meng, Jun Liu:
Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems. 80-97 - Surya Sai Teja Desu, Anubhav Srivastava, M. V. Panduranga Rao:
Model Checking for Entanglement Swapping. 98-114
Temporal Logic
- Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti:
An STL-Based Formulation of Resilience in Cyber-Physical Systems. 117-135 - Daniel Selvaratnam, Michael Cantoni, J. M. Davoren, Iman Shames:
MITL Verification Under Timing Uncertainty. 136-152 - Ruya Karagulle, Nikos Aréchiga, Jonathan A. DeCastro, Necmiye Ozay:
Classification of Driving Behaviors Using STL Formulas: A Comparative Study. 153-162
Timed Automata and Games
- James C. A. Main, Mickael Randour, Jeremy Sproston:
Timed Games with Bounded Window Parity Objectives. 165-182 - Aline Goeminne, Nicolas Markey, Ocan Sankur:
Non-blind Strategies in Timed Network Congestion Games. 183-199 - Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol:
Efficient Convex Zone Merging in Parametric Timed Automata. 200-218
Neural Networks
- Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov:
Neural Network Repair with Reachability Analysis. 221-236 - Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis:
On Neural Network Equivalence Checking Using SMT Solvers. 237-257 - Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson:
Reachability Analysis of a General Class of Neural Ordinary Differential Equations. 258-277
Reinforcement Learning
- Daniel Jarne Ornia, Manuel Mazo:
Robust Event-Driven Interactions in Cooperative Multi-agent Learning. 281-297 - Mathis Niehage, Anne Remke:
Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty. 298-306
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-12-09 23:24 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:
