The following pages link to Min-max Computation Tree Logic (Q5940962):
Displaying 6 items.
- A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria (Q747538) (← links)
- Collecting statistics over runtime executions (Q812051) (← links)
- Min-max event-triggered computation tree logic (Q1847543) (← links)
- Temporal-logic queries (Q2754106) (← links)
- Model checking for a class of weighted automata (Q5962025) (← links)
- Action and State Based Computation Tree Measurement Language and Algorithms (Q6104809) (← links)