:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Dewes, Rafael, Dimitrova, Rayna
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2412.13114
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
by: Heim, Philippe, et al.
Published: (2024)

Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
by: Heim, Philippe, et al.
Published: (2025)

Modular Attractor Acceleration in Infinite-State Games (Full Version)
by: Heim, Philippe, et al.
Published: (2026)

Localized Attractor Computations for Infinite-State Games (Full Version)
by: Schmuck, Anne-Kathrin, et al.
Published: (2024)

Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles
by: Glomsrud, Jon Arne, et al.
Published: (2024)

Verification of Robust Multi-Agent Systems
by: Berthon, Raphaël, et al.
Published: (2026)

Tools at the Frontiers of Quantitative Verification
by: Andriushchenko, Roman, et al.
Published: (2024)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
by: Hozzová, Petra, et al.
Published: (2024)

Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
by: Kurpiewski, Damian, et al.
Published: (2025)

Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
by: Jamroga, Wojciech, et al.
Published: (2025)

Gradual Verification for Smart Contracts
by: Sun, Haojia, et al.
Published: (2023)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
by: Finkbeiner, Bernd, et al.
Published: (2025)

ATL*AS: An Automata-Theoretic Approach and Tool for the Verification of Strategic Abilities in Multi-Agent Systems
by: Garcia-Alcalde, Sofia Garcia de Blas, et al.
Published: (2025)

Smart Contracts Formal Verification: A Systematic Literature Review
by: Davila, Rene, et al.
Published: (2025)

Formal Verification of Parameterized Systems based on Induction
by: Xiu, Jiaqi, et al.
Published: (2025)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
by: Henzinger, Thomas A., et al.
Published: (2025)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
by: Flinkow, Thomas, et al.
Published: (2026)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
by: Watanabe, Kazuki, et al.
Published: (2024)

Verification of Configurable SRA Systems
by: Cimatti, Alessandro, et al.
Published: (2026)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
by: Nemati, Hamed, et al.
Published: (2025)

Modular Assurance of Complex Systems Using Contract-Based Design Principles
by: McGeorge, Dag, et al.
Published: (2024)

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
by: Watanabe, Kazuki, et al.
Published: (2025)

Runtime Verification for LTL in Stochastic Systems
by: Esparza, Javier, et al.
Published: (2025)

Structural Temporal Logic for Mechanized Program Verification
by: Ioannidis, Eleftherios, et al.
Published: (2024)

Verification Modulo Tested Library Contracts
by: Uppar, Abhishek, et al.
Published: (2026)

Towards Term-based Verification of Diagrammatic Equivalence
by: Cailler, Julie, et al.
Published: (2026)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
by: Bacci, Giorgio, et al.
Published: (2025)

Alignment Contracts for Agentic Security Systems
by: David, Isaac, et al.
Published: (2026)

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
by: Beutner, Raven, et al.
Published: (2022)

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
by: Kanovich, Max, et al.
Published: (2016)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
by: Waddoups, Nick, et al.
Published: (2025)

Explainability Requirements as Hyperproperties
by: Finkbeiner, Bernd, et al.
Published: (2025)

A Complete Mental Temporal Logic for Intelligent Agent
by: Cao, Zining
Published: (2025)

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
by: Karimov, Toghrul
Published: (2024)

Multi-Property Temporal Logic Monitoring
by: Demir, Arınç, et al.
Published: (2026)

Guarded Successor: A Novel Temporal Logic
by: Asor, Ohad
Published: (2024)

Relevant HAL Interface Requirements for Embedded Systems
by: Bentele, Manuel, et al.
Published: (2025)

Better Bounded Bisimulation Contractions (Preprint)
by: Bolander, Thomas, et al.
Published: (2024)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)