Copertina

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dahlsen-Jensen, Mikael Bisgaard, Fievet, Baptiste, Petrucci, Laure, van de Pol, Jaco
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Reachability in VASS Extended with Integer Counters
di: Bizière, Clotilde, et al.
Pubblicazione: (2026)

Componentwise Automata Learning for System Integration (Extended Version)
di: Fujinami, Hiroya, et al.
Pubblicazione: (2025)

Atomic Gliders and CA as Language Generators (Extended Version)
di: Fisman, Dana, et al.
Pubblicazione: (2025)

Parametric Timed Pattern Matching
di: Waga, Masaki, et al.
Pubblicazione: (2019)

Collaboration Miner: Discovering Collaboration Petri Nets (Extended Version)
di: Benzin, Janik-Vasily, et al.
Pubblicazione: (2024)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
di: Tsai, Yun Chen, et al.
Pubblicazione: (2025)

Reachability in Trace-Pushdown Systems
di: Köcher, Chris, et al.
Pubblicazione: (2025)

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

On the Separability Problem of VASS Reachability Languages
di: Keskin, Eren, et al.
Pubblicazione: (2024)

Completely Reachable Almost Group Automata
di: Torres, David Fernando Casas
Pubblicazione: (2024)

Box-Reachability in Vector Addition Systems
di: Almagor, Shaull, et al.
Pubblicazione: (2025)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
di: Schalk, Patrizia, et al.
Pubblicazione: (2025)

Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
di: Bizière, Clotilde, et al.
Pubblicazione: (2024)

Efficient Construction of Reachability Graphs for Petri Net Product Lines
di: Gómez-Martínez, Elena, et al.
Pubblicazione: (2026)

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

You May Delay, but Time Will Not: Timed Games Under Delayed Control
di: Larsen, Kim G., et al.
Pubblicazione: (2025)

Reachability in symmetric VASS
di: Kamiński, Łukasz, et al.
Pubblicazione: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
di: Jeppson, Joshua, et al.
Pubblicazione: (2025)

Locality Testing for NFAs is PSPACE-complete
di: Amarilli, Antoine, et al.
Pubblicazione: (2025)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
di: Nepeivoda, Antonina, et al.
Pubblicazione: (2025)

Improved Algorithm for Reachability in $d$-VASS
di: Fu, Yuxi, et al.
Pubblicazione: (2024)

On the Complexity of Language Membership for Probabilistic Words
di: Amarilli, Antoine, et al.
Pubblicazione: (2025)

Extended time Petri nets
di: Radom, Marcin, et al.
Pubblicazione: (2024)

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

Program Analysis via Multiple Context Free Language Reachability
di: Conrado, Giovanna Kobus, et al.
Pubblicazione: (2024)

Extended Stone Duality via Monoidal Adjunctions
di: Lenke, Fabian, et al.
Pubblicazione: (2024)

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

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

Active Inference of Extended Finite State Machine Models with Registers and Guards
di: Groz, Roland, et al.
Pubblicazione: (2026)

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

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

Reachability Analysis of the Domain Name System
di: Nevatia, Dhruv, et al.
Pubblicazione: (2024)

Time for Timed Monitorability
di: Grosen, Thomas M., et al.
Pubblicazione: (2025)

Computing the Reachability Value of Posterior-Deterministic POMDPs
di: Fijalkow, Nathanaël, et al.
Pubblicazione: (2026)

Reachability for Multi-Priced Timed Automata with Positive and Negative Rates
di: Scoones, Andrew, et al.
Pubblicazione: (2024)

Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
di: Delicaris, Joanna, et al.
Pubblicazione: (2026)

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

Large Language Models and the Extended Church-Turing Thesis
di: Wiedermann, Jiří, et al.
Pubblicazione: (2024)