The following pages link to (Q4824478):
Displaying 4 items.
- The computational complexity of scenario-based agent verification and design (Q2372186) (← links)
- On the Power of Play-Out for Scenario-Based Programs (Q5187830) (← links)
- Some Results on the Expressive Power and Complexity of LSCs (Q5452186) (← links)
- Diagnostic Information for Realizability (Q5452707) (← links)