Buchumschlag

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lin, Deren, Lin, Tianrong
Format:	Preprint
Veröffentlicht:	2014
Schlagworte:	Logic in Computer Science Formal Languages and Automata Theory Logic F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
von: Bobrow, Elliot, et al.
Veröffentlicht: (2025)

On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic
von: Lin, Deren, et al.
Veröffentlicht: (2022)

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

Orbit-finite linear programming
von: Ghosh, Arka, et al.
Veröffentlicht: (2023)

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
von: Grabolle, Gustav
Veröffentlicht: (2022)

Model Checking Temporal Properties of Recursive Probabilistic Programs
von: Winkler, Tobias, et al.
Veröffentlicht: (2021)

Characterizing NC1 with Typed Monoids
von: Dawar, Anuj, et al.
Veröffentlicht: (2025)

Equivariant ideals of polynomials
von: Ghosh, Arka, et al.
Veröffentlicht: (2024)

Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
von: Aiswarya, C, et al.
Veröffentlicht: (2024)

Continuous Pushdown VASS in One Dimension are Easy
von: Perez, Guillermo A., et al.
Veröffentlicht: (2024)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
von: Ong, Shawn, et al.
Veröffentlicht: (2025)

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

Openness And Partial Adjacency In One Variable TPTL
von: Krishna, Shankara Narayanan, et al.
Veröffentlicht: (2024)

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
von: Guha, Shibashis, et al.
Veröffentlicht: (2021)

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report)
von: Jiang, Hongjian, et al.
Veröffentlicht: (2025)

Rabin Games and Colourful Universal Trees
von: Majumdar, Rupak, et al.
Veröffentlicht: (2024)

Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests
von: Guttenberg, Roland, et al.
Veröffentlicht: (2025)

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

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
von: Geatti, Luca, et al.
Veröffentlicht: (2024)

Simplifying LTL Model Checking Given Prior Knowledge
von: Duret-Lutz, Alexandre, et al.
Veröffentlicht: (2025)

Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication
von: Basold, Henning, et al.
Veröffentlicht: (2023)

How Concise are Chains of co-Büchi Automata?
von: Ehlers, Rüdiger
Veröffentlicht: (2025)

DTMC Model Checking by Path Abstraction Revisited (extended version)
von: Hartmanns, Arnd, et al.
Veröffentlicht: (2025)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2026)

The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages
von: Göller, Stefan, et al.
Veröffentlicht: (2023)

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

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
von: Winter, Sarah, et al.
Veröffentlicht: (2024)

A Logic For Fresh Labelled Transition Systems
von: Bandukara, Mohamed H, et al.
Veröffentlicht: (2025)

Edit Distance of Finite-Valued Transducers
von: Mathew, Prince, et al.
Veröffentlicht: (2026)

Edit Distance of Finite State Transducers
von: Aiswarya, C., et al.
Veröffentlicht: (2024)

PVASS Reachability is Decidable
von: Guttenberg, Roland, et al.
Veröffentlicht: (2025)

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

Automata-less Monitoring via Trace-Checking (Extended Version)
von: Brunello, Andrea, et al.
Veröffentlicht: (2025)

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

Robust Probabilistic Temporal Logics
von: Zimmermann, Martin
Veröffentlicht: (2023)

Minimising the Probabilistic Bisimilarity Distance
von: Kiefer, Stefan, et al.
Veröffentlicht: (2024)

Robust Probabilistic Bisimilarity for Labelled Markov Chains
von: Fatmi, Syyeda Zainab, et al.
Veröffentlicht: (2025)

A Completeness Theorem for Probabilistic Regular Expressions
von: Różowski, Wojciech, et al.
Veröffentlicht: (2023)

Decision Questions for Probabilistic Automata on Small Alphabets
von: Bell, Paul C., et al.
Veröffentlicht: (2021)