Imagen de Portada

You May Delay, but Time Will Not: Timed Games Under Delayed Control

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Larsen, Kim G., Zimmermann, Martin
Formato:	Preprint
Publicado:	2025
Materias:	Formal Languages and Automata Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
por: Fränzle, Martin, et al.
Publicado: (2024)

Time for Timed Monitorability
por: Grosen, Thomas M., et al.
Publicado: (2025)

Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
por: Cimatti, Alessandro, et al.
Publicado: (2024)

Controller Synthesis for Parametric Timed Games
por: Dahlsen-Jensen, Mikael Bisgaard, et al.
Publicado: (2025)

Monitoring Timed Properties (Revisited)
por: Grosen, Thomas Møller, et al.
Publicado: (2022)

A Regular and Complete Notion of Delay for Streaming String Transducers
por: Filiot, Emmanuel, et al.
Publicado: (2022)

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version)
por: Dahlsen-Jensen, Mikael Bisgaard, et al.
Publicado: (2024)

Automata Learning -- Expect Delays!
por: Dengler, Gabriel, et al.
Publicado: (2025)

On the Existence of Reactive Strategies Resilient to Delay
por: Fränzle, Martin, et al.
Publicado: (2023)

Parametric Timed Pattern Matching
por: Waga, Masaki, et al.
Publicado: (2019)

History-deterministic Parikh Automata
por: Erlich, Enzo, et al.
Publicado: (2022)

Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond $\forall^*\exists^*$
por: Winter, Sarah, et al.
Publicado: (2025)

Corrections to A Menagerie of Timed Automata
por: Keiren, Jeroen J. A., et al.
Publicado: (2016)

Weighted Tree Automata -- May it be a little more?
por: Fülöp, Zoltán, et al.
Publicado: (2022)

On Decidability Timed Automata with 2 Parametric Clocks
por: Bersani, Marcello M., et al.
Publicado: (2025)

Compositional Abstraction for Timed Systems with Broadcast Synchronization
por: Chen, Hanyue, et al.
Publicado: (2025)

Learning Deterministic Multi-Clock Timed Automata
por: Teng, Yu, et al.
Publicado: (2024)

Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
por: Wißmann, Thorsten
Publicado: (2026)

Unconditional Time and Space Complexity Lower Bounds for Intersection Non-Emptiness
por: Wehar, Michael
Publicado: (2025)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
por: Manini, Andrea, et al.
Publicado: (2025)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
por: Akshay, S, et al.
Publicado: (2023)

Token Games and History-Deterministic Quantitative-Automata
por: Boker, Udi, et al.
Publicado: (2021)

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
por: Briones, Laura Brandán, et al.
Publicado: (2025)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
por: Akshay, S., et al.
Publicado: (2024)

Infinite-state Games with Energy Objectives Beyond Counters
por: Sağlam, Irmak, et al.
Publicado: (2026)

DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
por: Christ, Derek, et al.
Publicado: (2026)

TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version)
por: Manini, Andrea, et al.
Publicado: (2026)

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
por: Acharya, Rohan, et al.
Publicado: (2024)

Robust Probabilistic Temporal Logics
por: Zimmermann, Martin
Publicado: (2023)

The Similarity Control Problem with Required Events
por: Wang, Yu, et al.
Publicado: (2026)

Formally Verified Linear-Time Invertible Lexing
por: Chassot, Samuel, et al.
Publicado: (2025)

More on Maximally Permissive Similarity Control of Discrete Event Systems
por: Wang, Yu, et al.
Publicado: (2024)

Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
por: Bellier, Dylan, et al.
Publicado: (2026)

Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors
por: Ise, Daihei, et al.
Publicado: (2024)

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
por: Kim, Moon, et al.
Publicado: (2025)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
por: Yang, Dong, et al.
Publicado: (2024)

Closure Properties of General Grammars -- Formally Verified
por: Dvorak, Martin, et al.
Publicado: (2023)

Deciding whether an Attributed Translation can be realized by a Top-Down Transducer
por: Maneth, Sebastian, et al.
Publicado: (2023)

Attributed Tree Transducers for Partial Functions
por: Maneth, Sebastian, et al.
Publicado: (2024)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
por: Regaud, Gaëtan, et al.
Publicado: (2025)