Formal modeling and analysis of timed systems 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Cham
Springer
2023
|
| Schriftenreihe: | Lecture notes in computer science
14138 |
| Schlagworte: | |
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| Layered Controller Synthesis for Dynamic Multi-agent Systems | 2023 | Clement, Emily |
| Maximum Satisfiability of Mission-Time Linear Temporal Logic | 2023 | Hariharan, Gokul |
| Automata with Timers | 2023 | Bruyère, Véronique |
| Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines | 2023 | Zhang, Pei |
| Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems | 2023 | Kiviriga, Andrej |
| A Local-Time Semantics for Negotiations | 2023 | Mukund, Madhavan |
| Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk) | 2023 | Markey, Nicolas |
| Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity | 2023 | Bernardo, Marco |
| On the Susceptibility of QDI Circuits to Transient Faults | 2023 | Shehaby, Raghda El |
| Timed Non-interference Under Partial Observability and Bounded Memory | 2023 | Spriet, Anthony |