Pages that link to "Item:Q5249293"
From MaRDI portal
The following pages link to ON REACHABILITY AND SAFETY IN INFINITE-STATE SYSTEMS (Q5249293):
Displaying 7 items.
- Fixed point characterization of infinite behavior of finite-state systems (Q1389678) (← links)
- Reachability and safety objectives in Markov decision processes on long but finite horizons (Q2188953) (← links)
- On store languages and applications (Q2417850) (← links)
- Liveness checking as safety checking for infinite state spaces (Q2852018) (← links)
- When Is Reachability Intrinsically Decidable? (Q3533013) (← links)
- INDUCTIVE COMPOSITION OF NUMBERS WITH MAXIMUM, MINIMUM, AND ADDITION: A New Theory for Program Execution-Time Analysis (Q4652794) (← links)
- Semilinearity of Families of Languages (Q5859668) (← links)