Pages that link to "Item:Q2938070"
From MaRDI portal
The following pages link to Parameterized Model Checking of Token-Passing Systems (Q2938070):
Displayed 14 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Nash equilibria in symmetric graph games with partial observation (Q528190) (← links)
- Parameterized verification of time-sensitive models of ad hoc network protocols (Q896913) (← links)
- Parameterized model checking of rendezvous systems (Q1635829) (← links)
- An automata-theoretic approach to the verification of distributed algorithms (Q1706162) (← links)
- Parameterized model checking of networks of timed automata with Boolean guards (Q1989334) (← links)
- A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442) (← links)
- Verification of agent navigation in partially-known environments (Q2144175) (← links)
- Verification of Parameterized Communicating Automata via Split-Width (Q2811340) (← links)
- Model Checking Parameterised Multi-token Systems via the Composition Method (Q2817946) (← links)
- Parameterized Verification of Communicating Automata under Context Bounds (Q3447694) (← links)
- Liveness of Parameterized Timed Networks (Q3449490) (← links)
- (Q5089313) (← links)
- Model and program repair via group actions (Q6091216) (← links)