Buchumschlag

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Akshay, S., Gastin, Paul, Govind, R., Srivathsan, B.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Simulations for Event-Clock Automata
von: Akshay, S, et al.
Veröffentlicht: (2022)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
von: Akshay, S, et al.
Veröffentlicht: (2023)

TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
von: Akshay, S., et al.
Veröffentlicht: (2025)

Reversible Transducers over Infinite Words
von: Dartois, Luc, et al.
Veröffentlicht: (2024)

Synthesising Asynchronous Automata from Fair Specifications
von: Bérard, Béatrice, et al.
Veröffentlicht: (2025)

Robust MITL planning under uncertain navigation times
von: Linard, Alexis, et al.
Veröffentlicht: (2024)

A Myhill-Nerode style Characterization for Timed Automata With Integer Resets
von: Doveri, Kyveli, et al.
Veröffentlicht: (2024)

Checking History-Determinism is NP-hard for Parity Automata
von: Prakash, Keya
Veröffentlicht: (2023)

A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata
von: Doveri, Kyveli, et al.
Veröffentlicht: (2026)

Deterministic Suffix-reading Automata
von: Keerthan, R, et al.
Veröffentlicht: (2024)

Reversible Pebble Transducers
von: Dartois, Luc, et al.
Veröffentlicht: (2025)

Safety and Liveness of Quantitative Properties and Automata
von: Boker, Udi, et al.
Veröffentlicht: (2023)

Counterfactual Explanations for MITL Violations
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2024)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
von: Manini, Andrea, et al.
Veröffentlicht: (2025)

Corrections to A Menagerie of Timed Automata
von: Keiren, Jeroen J. A., et al.
Veröffentlicht: (2016)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
von: Stutz, Felix, et al.
Veröffentlicht: (2025)

Learning Deterministic Multi-Clock Timed Automata
von: Teng, Yu, et al.
Veröffentlicht: (2024)

On Decidability Timed Automata with 2 Parametric Clocks
von: Bersani, Marcello M., et al.
Veröffentlicht: (2025)

MightyPPL: Verification of MITL with Past and Pnueli Modalities
von: Ho, Hsi-Ming, et al.
Veröffentlicht: (2025)

Mathematical Approach in Automata and Automata Association
von: Maciel, Sergio Henrique
Veröffentlicht: (2020)

Polyregular Model Checking
von: Lopez, Aliaume, et al.
Veröffentlicht: (2025)

Scalable Tree-based Register Automata Learning
von: Dierl, Simon, et al.
Veröffentlicht: (2024)

High-Level Message Sequence Charts: Satisfiability and Realizability Revisited
von: Bollig, Benedikt, et al.
Veröffentlicht: (2025)

On Shuffling and Splitting Automata
von: Cunningham, Ignacio Mollo
Veröffentlicht: (2024)

Explorable Parity Automata
von: Hazard, Emile, et al.
Veröffentlicht: (2024)

Automata on Graph Alphabets
von: Bazille, Hugo, et al.
Veröffentlicht: (2026)

Quantitative Language Automata
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Asynchronism in Cellular Automata
von: Gautam, Virendra Kumar
Veröffentlicht: (2025)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
von: Mazowiecki, Filip, et al.
Veröffentlicht: (2025)

Generalised Arc Consistency via the Synchronised Product of Finite Automata wrt a Constraint
von: Beldiceanu, Nicolas
Veröffentlicht: (2025)

New Insights into the Decidability of Opacity in Timed Automata
von: Deng, Weilin, et al.
Veröffentlicht: (2025)

Determinism in Multi-Soliton Automata
von: Bordihn, Henning, et al.
Veröffentlicht: (2024)

Localising Stochasticity in Weighted Automata
von: Agarwal, Smayan, et al.
Veröffentlicht: (2026)

History-deterministic Parikh Automata
von: Erlich, Enzo, et al.
Veröffentlicht: (2022)

Saturation Problems for Families of Automata
von: Bohn, León, et al.
Veröffentlicht: (2025)

Nominal Automata with Name Deallocation
von: Prucker, Simon, et al.
Veröffentlicht: (2026)

Automata-less Monitoring via Trace-Checking (Extended Version)
von: Brunello, Andrea, et al.
Veröffentlicht: (2025)

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

Deterministic Suffix-reading Automata
von: Keerthan, R, et al.
Veröffentlicht: (2025)

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