Parameterized Verification of Timed Networks with Clock Invariants

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	André, Étienne, Jacobs, Swen, Karra, Shyam Lal, Sankur, Ocan
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Formal Languages and Automata Theory D.2.4; F.1.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Parameterized Verification of Disjunctive Timed Networks
di: André, Étienne, et al.
Pubblicazione: (2023)

Model-bounded monitoring of hybrid systems
di: Waga, Masaki, et al.
Pubblicazione: (2021)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
di: Eichler, Paul, et al.
Pubblicazione: (2024)

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

Techniques for Showing the Decidability of the Boundedness Problem of Language Acceptors
di: Ibarra, Oscar H., et al.
Pubblicazione: (2024)

GOL in GOL in HOL: Verified Circuits in Conway's Game of Life
di: Myreen, Magnus O., et al.
Pubblicazione: (2025)

Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
di: Marksteiner, Stefan, et al.
Pubblicazione: (2025)

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

On some Classes of Reversible 2-head Automata
di: Nagy, Benedek, et al.
Pubblicazione: (2025)

Contract-based Verification of Digital Twins
di: Naeem, Muhammad, et al.
Pubblicazione: (2025)

Tool-Assisted Conformance Checking to Reference Process Models
di: Rumpe, Bernhard, et al.
Pubblicazione: (2025)

Real-Time Model Checking for Closed-Loop Robot Reactive Planning
di: Chandler, Christopher, et al.
Pubblicazione: (2025)

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
di: Ye, Kangfeng, et al.
Pubblicazione: (2024)

Parsing Hypergraphs using Context-Free Positional Grammars
di: Costagliola, Gennaro, et al.
Pubblicazione: (2026)

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

CBCL: Safe Self-Extending Agent Communication
di: O'Connor, Hugo
Pubblicazione: (2026)

LR Parsing of Permutation Phrases
di: Kostičová, Jana
Pubblicazione: (2024)

Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report
di: Alevizos, Elias, et al.
Pubblicazione: (2024)

Active Automata Learning with Advice
di: Fica, Michał, et al.
Pubblicazione: (2025)

Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL
di: Hebballi, Chirantan, et al.
Pubblicazione: (2026)

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
di: Vatsa, Adarsh, et al.
Pubblicazione: (2025)

A Uniform Framework for Problems on Context-Free Grammars
di: Esparza, Javier, et al.
Pubblicazione: (2024)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
di: Grahl, Johanna, et al.
Pubblicazione: (2025)

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
di: Muvvala, Karan, et al.
Pubblicazione: (2024)

Inversion by Partial Evaluation: A Reversible Interpreter Experiment
di: Glück, Robert, et al.
Pubblicazione: (2024)

Counting Abstraction for the Verification of Structured Parameterized Networks
di: Bozga, Marius, et al.
Pubblicazione: (2025)

The CFG Complexity of Singleton Sets
di: Fortnow, Lance, et al.
Pubblicazione: (2024)

Attractor Basins in Concurrent Systems
di: Samboni, Giann Karlo Aguirre, et al.
Pubblicazione: (2024)

Checking Timed Bisimilarity with Virtual Clocks
di: Lieb, Alexander, et al.
Pubblicazione: (2024)

The Target Discounted-Sum Problem
di: Boker, Udi, et al.
Pubblicazione: (2025)

A Myhill-Nerode style Characterization for Timed Automata With Integer Resets
di: Doveri, Kyveli, et al.
Pubblicazione: (2024)

Good-for-MDP State Reduction for Stochastic LTL Planning
di: Weinhuber, Christoph, et al.
Pubblicazione: (2025)

Identity Testing for Stochastic Languages
di: Agarwal, Smayan, et al.
Pubblicazione: (2025)

Jump Complexity of Deterministic Finite Automata with Translucent Letters
di: Fazekas, Szilárd Zsolt, et al.
Pubblicazione: (2025)

Well-Quasi-Orderings on Word Languages
di: Lhote, Nathan, et al.
Pubblicazione: (2025)

Formal Modeling and Verification of Grover's Algorithm
di: Sun, H., et al.
Pubblicazione: (2026)

Reward Machines for Deep RL in Noisy and Uncertain Environments
di: Li, Andrew C., et al.
Pubblicazione: (2024)

LTL-Constrained Policy Optimization with Cycle Experience Replay
di: Shah, Ameesh, et al.
Pubblicazione: (2024)

Algebraic Language Theory with Effects
di: Lenke, Fabian, et al.
Pubblicazione: (2024)

Commuting upper triangular binary morphisms
di: Honkala, Juha
Pubblicazione: (2023)