Pages that link to "Item:Q3510796"
From MaRDI portal
The following pages link to Timed Control with Observation Based and Stuttering Invariant Strategies (Q3510796):
Displaying 7 items.
- Verification and control of partially observable probabilistic systems (Q1699230) (← links)
- Verification and Control of Partially Observable Probabilistic Real-Time Systems (Q2945599) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study (Q3624564) (← links)
- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation (Q3648824) (← links)
- Realizability of Real-Time Logics (Q3648828) (← links)
