Buchumschlag

Sound Conflict Analysis for Timed Contract Automata

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Azzopardi, Shaun, Pace, Gordon
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Direct Translation from LTL with Past to Deterministic Rabin Automata
von: Azzopardi, Shaun, et al.
Veröffentlicht: (2024)

sweap: Reactive Synthesis for Infinite-State Integer Problems
von: Azzopardi, Shaun, et al.
Veröffentlicht: (2026)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics
von: Benerecetti, Massimo, et al.
Veröffentlicht: (2024)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
von: André, Étienne, et al.
Veröffentlicht: (2023)

Step Automata
von: Wang, Yong
Veröffentlicht: (2026)

Automata for Enriched Trees and Applications
von: Blumensath, Achim
Veröffentlicht: (2025)

Overview and Roadmap of Team Automata
von: ter Beek, Maurice H., et al.
Veröffentlicht: (2025)

Runtime Verification of Interactions Using Automata
von: Weil-Kennedy, Chana, et al.
Veröffentlicht: (2025)

Compositional Reasoning for Probabilistic Automata with Uncertainty
von: Mertens, Hannah, et al.
Veröffentlicht: (2026)

Petri Nets and Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2025)

Full LTL Synthesis over Infinite-state Arenas
von: Azzopardi, Shaun, et al.
Veröffentlicht: (2023)

Small Test Suites for Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2024)

An Expressive Coalgebraic Modal Logic for Cellular Automata
von: Basold, Henning, et al.
Veröffentlicht: (2025)

Automata Linear Dynamic Logic on Finite Traces
von: Smith, Kevin W., et al.
Veröffentlicht: (2021)

History-deterministic Timed Automata
von: Bose, Sougata, et al.
Veröffentlicht: (2023)

POPACheck: A Model Checker for Probabilistic Pushdown Automata
von: Pontiggia, Francesco, et al.
Veröffentlicht: (2025)

Unknown Biases and Timing Constraints in Timed Automata
von: Haase, Darion, et al.
Veröffentlicht: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

Compositional Reasoning for Parametric Probabilistic Automata
von: Mertens, Hannah, et al.
Veröffentlicht: (2025)

Higher-Dimensional Timed Automata for Real-Time Concurrency
von: Amrane, Amazigh, et al.
Veröffentlicht: (2024)

Scoped MSO, Register Automata, and Expressions: Equivalence over Data Words
von: Piórkowski, Radosław
Veröffentlicht: (2026)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

Characterizing the Polynomial-Time Minimizable $ω$-Automata
von: Radi, Bader Abu, et al.
Veröffentlicht: (2025)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
von: Faella, Marco, et al.
Veröffentlicht: (2024)

A General Automata Model for First-Order Temporal Logics (Extended Version)
von: Geatti, Luca, et al.
Veröffentlicht: (2024)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
von: Habermehl, Peter, et al.
Veröffentlicht: (2024)

Better Bounded Bisimulation Contractions (Preprint)
von: Bolander, Thomas, et al.
Veröffentlicht: (2024)

Contractions of quasi relation algebras and applications to representability
von: Craig, Andrew, et al.
Veröffentlicht: (2026)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Automating the Analysis of Quantitative Automata with QuAK
von: Chalupa, Marek, et al.
Veröffentlicht: (2025)

Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
von: Demri, Stephane, et al.
Veröffentlicht: (2023)

Lower Bounds on Inverse Cellular Automata via Proof Complexity
von: Kapytka, Maryia
Veröffentlicht: (2026)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
von: Hozzová, Petra, et al.
Veröffentlicht: (2024)

Error-awareness Accelerates Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2026)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

Rerailing Automata
von: Ehlers, Rüdiger
Veröffentlicht: (2025)

Soundness Correction of Data Petri Nets
von: Suvorov, Nikolai M., et al.
Veröffentlicht: (2024)

Robustness of Constraint Automata for Description Logics with Concrete Domains
von: Demri, Stéphane, et al.
Veröffentlicht: (2026)

Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
von: Dewes, Rafael, et al.
Veröffentlicht: (2024)

Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security
von: Chen, Zhiyang, et al.
Veröffentlicht: (2024)