Copertina

The SCAN Statistical Model Checker

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ghiorzi, Enrico, Tacchella, Armando
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Formal Languages and Automata Theory Logic in Computer Science Multiagent Systems
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
di: Zhao, Yiqi, et al.
Pubblicazione: (2025)

Module checking of pushdown multi-agent systems
di: Bozzelli, Laura, et al.
Pubblicazione: (2020)

Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
di: Balakrishnan, Anand, et al.
Pubblicazione: (2025)

The Complexity of Pure Strategy Relevant Equilibria in Concurrent Games
di: Bhaduri, Purandar
Pubblicazione: (2025)

Types for Grassroots Logic Programs
di: Shapiro, Ehud
Pubblicazione: (2026)

Decoupled Planning for Multiple Omega-Regular Objectives
di: Avni, Guy, et al.
Pubblicazione: (2026)

Equilibria in Multiplayer Graph Games: An Algorithmic Study
di: Brice, Léonard
Pubblicazione: (2026)

Randomise Alone, Reach as a Team
di: Brice, Léonard, et al.
Pubblicazione: (2026)

Mean-payoff and Energy Discrete Bidding Games
di: Avni, Guy, et al.
Pubblicazione: (2025)

On the Impact of the Communication Model on Realisability
di: Di Giusto, Cinzia, et al.
Pubblicazione: (2025)

sweap: Reactive Synthesis for Infinite-State Integer Problems
di: Azzopardi, Shaun, et al.
Pubblicazione: (2026)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
di: Ma, Liqian, et al.
Pubblicazione: (2025)

Algorithmic analysis of systems with affine input and polynomial state
di: Clemente, Lorenzo
Pubblicazione: (2025)

Learning Verified Monitors for Hidden Markov Models
di: van der Maas, Luko, et al.
Pubblicazione: (2025)

Simplifying LTL Model Checking Given Prior Knowledge
di: Duret-Lutz, Alexandre, et al.
Pubblicazione: (2025)

Model Checking Temporal Properties of Recursive Probabilistic Programs
di: Winkler, Tobias, et al.
Pubblicazione: (2021)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2026)

DTMC Model Checking by Path Abstraction Revisited (extended version)
di: Hartmanns, Arnd, et al.
Pubblicazione: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
di: Rooduijn, Jan, et al.
Pubblicazione: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
di: Barloy, Corentin, et al.
Pubblicazione: (2025)

Positive First-order Logic on Words and Graphs
di: Kuperberg, Denis
Pubblicazione: (2022)

An algebraic theory of ω-regular languages, via μν-expressions
di: Das, Anupam, et al.
Pubblicazione: (2025)

Function spaces for orbit-finite sets
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
di: Haase, Christoph, et al.
Pubblicazione: (2024)

Cyclic system for an algebraic theory of alternating parity automata
di: Das, Anupam, et al.
Pubblicazione: (2025)

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
di: Winter, Sarah, et al.
Pubblicazione: (2024)

Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations
di: Bueri, Lucas, et al.
Pubblicazione: (2024)

On-the-fly Unfolding with Optimal Exploration for Linear Temporal Logic Model Checking of Concurrent Software and Systems
di: Li, Shuo, et al.
Pubblicazione: (2023)

Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond $\forall^*\exists^*$
di: Winter, Sarah, et al.
Pubblicazione: (2025)

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report)
di: Jiang, Hongjian, et al.
Pubblicazione: (2025)

Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework
di: Li, Junle, et al.
Pubblicazione: (2025)

Modelling and Analysis of Supply Chains using Product Time Petri Nets
di: Lubat, Eric, et al.
Pubblicazione: (2026)

A Dichotomy Theorem for Automatic Structures
di: Cuvelier, Antoine, et al.
Pubblicazione: (2026)

How Concise are Chains of co-Büchi Automata?
di: Ehlers, Rüdiger
Pubblicazione: (2026)

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
di: Bollig, Benedikt
Pubblicazione: (2026)

String Solving with Stabilization and Transducers (Technical Report)
di: Chocholatý, David, et al.
Pubblicazione: (2026)

Knowledge Compilation for Quantification in Alternating Automata
di: Akshay, S., et al.
Pubblicazione: (2026)

Minimization of Streaming Transducers
di: Bianchini, Christian, et al.
Pubblicazione: (2026)

Kofola 1.0: A Modular Approach to ω-Regular Complementation and Inclusion Checking (Technical Report)
di: Alexaj, Ondrej, et al.
Pubblicazione: (2026)