Copertina

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Winter, Sarah, Zimmermann, Martin
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Complexity of Second-order HyperLTL
di: Frenkel, Hadar, et al.
Pubblicazione: (2023)

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

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

Simplifying LTL Model Checking Given Prior Knowledge
di: Duret-Lutz, Alexandre, et al.
Pubblicazione: (2025)

Logics for Context-free Hyperproperties
di: Winter, Sarah, et al.
Pubblicazione: (2026)

Synthesizing Computable Functions from Rational Specifications over Infinite Words
di: Filiot, Emmanuel, et al.
Pubblicazione: (2021)

Positive and monotone fragments of FO and LTL
di: Kuperberg, Denis, et al.
Pubblicazione: (2024)

Minimization of Streaming Transducers
di: Bianchini, Christian, et al.
Pubblicazione: (2026)

Automata-less Monitoring via Trace-Checking (Extended Version)
di: Brunello, Andrea, et al.
Pubblicazione: (2025)

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

A Direct Translation from LTL with Past to Deterministic Rabin Automata
di: Azzopardi, Shaun, et al.
Pubblicazione: (2024)

Simulation by Rounds of Letter-to-Letter Transducers
di: Nassar, Antonio Abu, et al.
Pubblicazione: (2021)

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

String Solving with Stabilization and Transducers (Technical Report)
di: Chocholatý, David, et al.
Pubblicazione: (2026)

Slightly Non-Linear Higher-Order Tree Transducers
di: Nguyên, Lê Thành Dũng, et al.
Pubblicazione: (2024)

Model Checking Temporal Properties of Recursive Probabilistic Programs
di: Winkler, Tobias, et al.
Pubblicazione: (2021)

DTMC Model Checking by Path Abstraction Revisited (extended version)
di: Hartmanns, Arnd, et al.
Pubblicazione: (2025)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2026)

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
di: Guha, Shibashis, et al.
Pubblicazione: (2021)

On-the-fly Unfolding with Optimal Exploration for Linear Temporal Logic Model Checking of Concurrent Software and Systems
di: Li, Shuo, et al.
Pubblicazione: (2023)

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report)
di: Jiang, Hongjian, et al.
Pubblicazione: (2025)

Counterfactual Explanations for MITL Violations
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2024)

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

A Diamond Structure in the Transducer Hierarchy
di: Kaufmann, Noah
Pubblicazione: (2021)

SemML 2.0: Synthesizing Controllers for LTL
di: Křetínský, Jan, et al.
Pubblicazione: (2026)

LTL$_f$ Learning Meets Boolean Set Cover
di: Bathie, Gabriel, et al.
Pubblicazione: (2025)

Kofola 1.0: A Modular Approach to ω-Regular Complementation and Inclusion Checking (Technical Report)
di: Alexaj, Ondrej, et al.
Pubblicazione: (2026)

Inquisitive Team Semantics of LTL
di: Bozzelli, Laura, et al.
Pubblicazione: (2025)

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
di: Neider, Daniel, et al.
Pubblicazione: (2025)

Synthesis of Computable Regular Functions of Infinite Words
di: Dave, V., et al.
Pubblicazione: (2019)

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
di: Carette, Titouan, et al.
Pubblicazione: (2025)

Full LTL Synthesis over Infinite-state Arenas
di: Azzopardi, Shaun, et al.
Pubblicazione: (2023)

Visualising CTL Witnesses and Counterexamples -- Extended Version
di: Rensink, Arend
Pubblicazione: (2026)

Edit Distance of Finite State Transducers
di: Aiswarya, C., et al.
Pubblicazione: (2024)

Edit Distance of Finite-Valued Transducers
di: Mathew, Prince, et al.
Pubblicazione: (2026)

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
di: Lin, Deren, et al.
Pubblicazione: (2014)

On the Impact of the Communication Model on Realisability
di: Di Giusto, Cinzia, et al.
Pubblicazione: (2025)

Learning Verified Monitors for Hidden Markov Models
di: van der Maas, Luko, et al.
Pubblicazione: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
di: Rooduijn, Jan, et al.
Pubblicazione: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)