scientific article; zbMATH DE number 7327954
From MaRDI portal
Publication:5856425
zbMath1501.68002arXiv1912.09875MaRDI QIDQ5856425
Marco Muñiz, Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba
Publication date: 26 March 2021
Full work available at URL: https://arxiv.org/abs/1912.09875
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
Stubborn set reduction for timed reachability and safety games ⋮ Automata-driven partial order reduction and guided search for LTL model checking ⋮ Exponential automatic amortized resource analysis ⋮ Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems ⋮ Unnamed Item
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A stubborn attack on state explosion
- Combining partial-order reductions with on-the-fly model-checking.
- Using partial orders for the efficient verification of deadlock freedom and safety properties
- A partial order approach to branching time logic model checking.
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
- Stubborn Sets for Simple Linear Time Properties
- Concurrent Games on VASS with Inhibition
- Stubborn Set Intuition Explained
- Towards Partial Order Reductions for Strategic Ability
- On the complexity of resource-bounded logics
- Partial-order reduction in the weak modal mu-calculus
This page was built for publication:
