| Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?
|
2022 |
Bouyer, Patricia |
| Monitoring Timed Properties (Revisited)
|
2022 |
Grosen, Thomas Møller |
| An STL-Based Formulation of Resilience in Cyber-Physical Systems
|
2022 |
Chen, Hongkai |
| Classification of Driving Behaviors Using STL Formulas: A Comparative Study
|
2022 |
Karagulle, Ruya |
| Efficient Convex Zone Merging in Parametric Timed Automata
|
2022 |
André, Étienne |
| Neural Network Repair with Reachability Analysis
|
2022 |
Yang, Xiaodong |
| Robust Event-Driven Interactions in Cooperative Multi-agent Learning
|
2022 |
Ornia, Daniel Jarne |
| Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems
|
2022 |
Meng, Yiming |
| Model Checking for Entanglement Swapping
|
2022 |
Desu, Surya Sat Teja |
| MITL Verification Under Timing Uncertainty
|
2022 |
Selvaratnam, Daniel |
| Timed Games with Bounded Window Parity Objectives
|
2022 |
Main, James C. A. |
| Reachability Analysis of a General Class of Neural Ordinary Differential Equations
|
2022 |
Lopez, Diego Manzanas |
| Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty
|
2022 |
Niehage, Mathis |
| Algebraic Model Checking for Discrete Linear Dynamical Systems
|
2022 |
Luca, Florian |
| Bounded Delay Timed Channel Coding
|
2022 |
Inclán, Bernardo Jacobo |
| Non-blind Strategies in Timed Network Congestion Games
|
2022 |
Goeminne, Aline |
| On Neural Network Equivalence Checking Using SMT Solvers
|
2022 |
Eleftheriadis, Charis |
Tag hinzufügen