Copertina

Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cimatti, Alessandro, Grosen, Thomas M., Larsen, Kim G., Tonetta, Stefano, Zimmermann, Martin
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

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

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

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

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

Black-box Testing Liveness Properties of Partially Observable Stochastic Systems
di: Esparza, Javier, et al.
Pubblicazione: (2023)

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

History-deterministic Parikh Automata
di: Erlich, Enzo, et al.
Pubblicazione: (2022)

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

State estimation of timed automata under partial observation [Draft version]
di: Gao, Chao, et al.
Pubblicazione: (2024)

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

Safety and Liveness of Quantitative Properties and Automata
di: Boker, Udi, et al.
Pubblicazione: (2023)

Structural Reductions and Stutter Sensitive Properties
di: Paviot-Adet, Emmanuel, et al.
Pubblicazione: (2022)

Closure and Decision Properties for Higher-Dimensional Automata
di: Amrane, Amazigh, et al.
Pubblicazione: (2023)

Robust Probabilistic Temporal Logics
di: Zimmermann, Martin
Pubblicazione: (2023)

Tahr: The Generative Attribute Grammar Framework
di: Ciccaglione, Matteo, et al.
Pubblicazione: (2025)

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

Quantum finite automata and linear context-free languages: a decidable problem
di: Bertoni, A., et al.
Pubblicazione: (2013)

TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
di: Akshay, S., et al.
Pubblicazione: (2025)

[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
di: Zhang, Kuize, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing
di: Kuriyama, Takayuki
Pubblicazione: (2014)

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

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

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

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

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

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

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

All about unambiguous polynomial closure
di: Place, Thomas, et al.
Pubblicazione: (2022)

Navigational hierarchies of regular languages
di: Place, Thomas, et al.
Pubblicazione: (2024)

Dot-depth three, return of the J-class
di: Place, Thomas, et al.
Pubblicazione: (2024)

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

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

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
di: Winter, Sarah, et al.
Pubblicazione: (2024)

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