Pages that link to "Item:Q3646256"
From MaRDI portal
The following pages link to Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems (Q3646256):
Displaying 4 items.
- A note on controllability of deterministic context-free~systems (Q2391510) (← links)
- An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes (Q2825420) (← links)
- Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems (Q3646256) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712444) (← links)