Copertina

Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Demri, Stephane, Quaas, Karin
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Robustness of Constraint Automata for Description Logics with Concrete Domains
di: Demri, Stéphane, et al.
Pubblicazione: (2026)

Learning Branching-Time Properties in CTL and ATL via Constraint Solving
di: Bordais, Benjamin, et al.
Pubblicazione: (2024)

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
di: Pettinau, Roberto, et al.
Pubblicazione: (2026)

Towards Probabilistic Strategic Timed CTL
di: Jamroga, Wojciech, et al.
Pubblicazione: (2026)

CTL* Verification and Synthesis using Existential Horn Clauses
di: Carelli, Mishel, et al.
Pubblicazione: (2024)

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
di: Fortin, Marie, et al.
Pubblicazione: (2023)

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

Computational Complexity of Standpoint LTL
di: Demri, Stéphane, et al.
Pubblicazione: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
di: Pinsker, Michael, et al.
Pubblicazione: (2025)

Satisfiability for Knowing How over Linear Plans is NP-complete
di: Areces, Carlos, et al.
Pubblicazione: (2026)

Efficient Decision Procedures for RNmatrix Semantics
di: Leme, Renato R., et al.
Pubblicazione: (2026)

Parikh Automata on Finite and Infinite Words
di: Grobler, Mario, et al.
Pubblicazione: (2023)

Automata for Enriched Trees and Applications
di: Blumensath, Achim
Pubblicazione: (2025)

Infinite trees
di: Goy, Alexandre
Pubblicazione: (2025)

Additive systems for $\mathbb{Z}$ are undecidable
di: Zabolotskii, Andrei
Pubblicazione: (2025)

Step Automata
di: Wang, Yong
Pubblicazione: (2026)

Computing with Infinite Objects: the Gray Code Case
di: Spreen, Dieter, et al.
Pubblicazione: (2021)

Scoped MSO, Register Automata, and Expressions: Equivalence over Data Words
di: Piórkowski, Radosław
Pubblicazione: (2026)

PolySAT: Word-level Bit-vector Reasoning in Z3
di: Rath, Jakob, et al.
Pubblicazione: (2024)

On the Computability of Measures of Regular Sets of Infinite Trees
di: Niwiński, Damian, et al.
Pubblicazione: (2023)

Overview and Roadmap of Team Automata
di: ter Beek, Maurice H., et al.
Pubblicazione: (2025)

Unknown Biases and Timing Constraints in Timed Automata
di: Haase, Darion, et al.
Pubblicazione: (2024)

Decision Questions for Probabilistic Automata on Small Alphabets
di: Bell, Paul C., et al.
Pubblicazione: (2021)

Runtime Verification of Interactions Using Automata
di: Weil-Kennedy, Chana, et al.
Pubblicazione: (2025)

Compositional Reasoning for Probabilistic Automata with Uncertainty
di: Mertens, Hannah, et al.
Pubblicazione: (2026)

Petri Nets and Higher-Dimensional Automata
di: Amrane, Amazigh, et al.
Pubblicazione: (2025)

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
di: Zhang, Cheng, et al.
Pubblicazione: (2026)

An Expressive Coalgebraic Modal Logic for Cellular Automata
di: Basold, Henning, et al.
Pubblicazione: (2025)

Small Test Suites for Active Automata Learning
di: Kruger, Loes, et al.
Pubblicazione: (2024)

Automata Linear Dynamic Logic on Finite Traces
di: Smith, Kevin W., et al.
Pubblicazione: (2021)

Sound Conflict Analysis for Timed Contract Automata
di: Azzopardi, Shaun, et al.
Pubblicazione: (2024)

Beyond Decisiveness of Infinite Markov Chains
di: Barbot, Benoît, et al.
Pubblicazione: (2024)

An ACL2s Interface to Z3
di: Walter, Andrew T., et al.
Pubblicazione: (2025)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics
di: Benerecetti, Massimo, et al.
Pubblicazione: (2024)

POPACheck: A Model Checker for Probabilistic Pushdown Automata
di: Pontiggia, Francesco, et al.
Pubblicazione: (2025)

Synthesis of Infinite State Systems
di: Drucker, Ohad, et al.
Pubblicazione: (2025)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
di: André, Étienne, et al.
Pubblicazione: (2023)

A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
di: Cristiá, Maximiliano, et al.
Pubblicazione: (2021)

Compositional Reasoning for Parametric Probabilistic Automata
di: Mertens, Hannah, et al.
Pubblicazione: (2025)