Pages that link to "Item:Q6077088"
From MaRDI portal
The following pages link to Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems (Q6077088):
Displaying 4 items.
- Verification of \(N\)-\(M\) switching control system: a case study in temporal logic model checking (Q2922712) (← links)
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems (Q2986982) (← links)
- (Q4733389) (← links)
- Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis (Q6581256) (← links)