Buchumschlag

Parameterized Verification of Disjunctive Timed Networks

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	André, Étienne, Eichler, Paul, Jacobs, Swen, Karra, Shyam Lal
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science Formal Languages and Automata Theory D.2.4; F.1.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Parameterized Verification of Timed Networks with Clock Invariants
von: André, Étienne, et al.
Veröffentlicht: (2024)

Model-bounded monitoring of hybrid systems
von: Waga, Masaki, et al.
Veröffentlicht: (2021)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
von: Eichler, Paul, et al.
Veröffentlicht: (2024)

GOL in GOL in HOL: Verified Circuits in Conway's Game of Life
von: Myreen, Magnus O., et al.
Veröffentlicht: (2025)

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
von: Ye, Kangfeng, et al.
Veröffentlicht: (2024)

Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL
von: Hebballi, Chirantan, et al.
Veröffentlicht: (2026)

CBCL: Safe Self-Extending Agent Communication
von: O'Connor, Hugo
Veröffentlicht: (2026)

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
von: Muvvala, Karan, et al.
Veröffentlicht: (2024)

The $μ\mathcal{G}$ Language for Programming Graph Neural Networks
von: Belenchia, Matteo, et al.
Veröffentlicht: (2024)

A Theory of Hanoi Omega-Automata and Games
von: Filiot, Emmanuel, et al.
Veröffentlicht: (2026)

Techniques for Showing the Decidability of the Boundedness Problem of Language Acceptors
von: Ibarra, Oscar H., et al.
Veröffentlicht: (2024)

Computational methods for Dynamic Answer Set Programming
von: Hahn, Susana
Veröffentlicht: (2025)

Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
von: Marksteiner, Stefan, et al.
Veröffentlicht: (2025)

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version)
von: Schaefer, Steven, et al.
Veröffentlicht: (2025)

Parameterized Verification of Quantum Circuits (Technical Report)
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2025)

On some Classes of Reversible 2-head Automata
von: Nagy, Benedek, et al.
Veröffentlicht: (2025)

Constructing Weakly Terminating Interface Protocols
von: Bera, Debjyoti, et al.
Veröffentlicht: (2026)

Contract-based Verification of Digital Twins
von: Naeem, Muhammad, et al.
Veröffentlicht: (2025)

Tool-Assisted Conformance Checking to Reference Process Models
von: Rumpe, Bernhard, et al.
Veröffentlicht: (2025)

Real-Time Model Checking for Closed-Loop Robot Reactive Planning
von: Chandler, Christopher, et al.
Veröffentlicht: (2025)

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
von: Lin, Deren, et al.
Veröffentlicht: (2014)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
von: Batten, Ben, et al.
Veröffentlicht: (2024)

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
von: Grabmayer, Clemens
Veröffentlicht: (2024)

Parsing Hypergraphs using Context-Free Positional Grammars
von: Costagliola, Gennaro, et al.
Veröffentlicht: (2026)

Various Types of Comet Languages and their Application in External Contextual Grammars
von: Ködding, Marvin, et al.
Veröffentlicht: (2024)

The complexity of downward closures of indexed languages
von: Mandel, Richard, et al.
Veröffentlicht: (2026)

Inquisitive Team Semantics of LTL
von: Bozzelli, Laura, et al.
Veröffentlicht: (2025)

A LOCAL View of the Polynomial Hierarchy
von: Reiter, Fabian
Veröffentlicht: (2023)

Neuro-Symbolic Predictive Process Monitoring
von: Mezini, Axel, et al.
Veröffentlicht: (2025)

LR Parsing of Permutation Phrases
von: Kostičová, Jana
Veröffentlicht: (2024)

Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report
von: Alevizos, Elias, et al.
Veröffentlicht: (2024)

Active Automata Learning with Advice
von: Fica, Michał, et al.
Veröffentlicht: (2025)

Learning Deterministic One-Counter Automata in Polynomial Time
von: Mathew, Prince, et al.
Veröffentlicht: (2025)

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
von: Vatsa, Adarsh, et al.
Veröffentlicht: (2025)

A Uniform Framework for Problems on Context-Free Grammars
von: Esparza, Javier, et al.
Veröffentlicht: (2024)

On the Equivalence Checking Problem for Deterministic Top-Down Tree Automata
von: Deng, Zhibo, et al.
Veröffentlicht: (2025)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
von: Grahl, Johanna, et al.
Veröffentlicht: (2025)

Stratifiable formulae are not context-free
von: Ryan-Smith, Calliope
Veröffentlicht: (2023)

The Bright Side of Timed Opacity
von: André, Étienne, et al.
Veröffentlicht: (2024)

Reachability in Vector Addition System with States Parameterized by Geometric Dimension
von: Zheng, Yangluo
Veröffentlicht: (2024)