Cover Image

Strategic Dominance: A New Preorder for Nondeterministic Processes

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Henzinger, Thomas A., Mazzocchi, Nicolas, Saraç, N. Ege
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Quantitative and Approximate Monitoring
by: Henzinger, Thomas A., et al.
Published: (2021)

Automating the Analysis of Quantitative Automata with QuAK
by: Chalupa, Marek, et al.
Published: (2025)

Extending QuAK with Nested Quantitative Automata
by: Henzinger, Thomas A., et al.
Published: (2026)

Quantitative Monitoring of Signal First-Order Logic
by: Chalupa, Marek, et al.
Published: (2026)

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
by: Bonakdarpour, Borzoo, et al.
Published: (2024)

Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)

Analyzing Divergence for Nondeterministic Probabilistic Models
by: Wu, Hao, et al.
Published: (2024)

A Unifying Categorical View of Nondeterministic Iteration and Tests
by: Goncharov, Sergey, et al.
Published: (2024)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
by: Różowski, Wojciech, et al.
Published: (2026)

The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories
by: Baader, Franz, et al.
Published: (2026)

Alignment Monitoring
by: Henzinger, Thomas A., et al.
Published: (2025)

Temporal Explorability Games
by: Austin, Pete, et al.
Published: (2024)

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
by: Hofmann, Till, et al.
Published: (2024)

Dicey Games: Shared Sources of Randomness in Distributed Systems
by: Brice, Léonard, et al.
Published: (2026)

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

QuAK: Quantitative Automata Kit (artifact)
by: Chalupa, Marek, et al.
Published: (2024)

Logic Gate Neural Networks are Good for Verification
by: Kresse, Fabian, et al.
Published: (2025)

Resolving Nondeterminism with Randomness
by: Henzinger, Thomas A., et al.
Published: (2025)

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
by: Holík, Lukáš, et al.
Published: (2025)

QuAK: Quantitative Automata Kit
by: Chalupa, Marek, et al.
Published: (2024)

Safety and Liveness of Quantitative Properties and Automata
by: Boker, Udi, et al.
Published: (2023)

Quantitative Language Automata
by: Henzinger, Thomas A., et al.
Published: (2025)

Zeta Functions and the (Linear) Logic of Markov Processes
by: Seiller, Thomas
Published: (2020)

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

History-deterministic Timed Automata
by: Bose, Sougata, et al.
Published: (2023)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Powell, Thomas
Published: (2023)

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
by: Paulus, Joseph W. N., et al.
Published: (2021)

On the Metric Temporal Logic for Continuous Stochastic Processes
by: Ikeda, Mitsumasa, et al.
Published: (2023)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
by: Liang, Xiaolong, et al.
Published: (2024)

Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
by: Brihaye, Thomas, et al.
Published: (2025)

Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)

Pseudo-Complex Quantifier Elimination
by: Faroß, Nicolas, et al.
Published: (2026)

Existential and positive games: a comonadic and axiomatic view
by: Abramsky, Samson, et al.
Published: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
by: Bernardo, Marco, et al.
Published: (2022)

A Model Checker for Natural Strategic Ability
by: Aruta, Marco, et al.
Published: (2024)

Around Classical and Intuitionistic Linear Processes
by: Jaramillo, Juan C., et al.
Published: (2024)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
by: Suilen, Marnix, et al.
Published: (2026)

Queen Domination by SAT Solving
by: Rostami, Taha, et al.
Published: (2025)

Towards Probabilistic Strategic Timed CTL
by: Jamroga, Wojciech, et al.
Published: (2026)