![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
20th 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.