Pages that link to "Item:Q5410662"
From MaRDI portal
The following pages link to Active Diagnosis for Probabilistic Systems (Q5410662):
Displaying 14 items.
- What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives (Q269509) (← links)
- Optimal constructions for active diagnosis (Q314815) (← links)
- Accurate approximate diagnosis of (controllable) stochastic systems (Q832093) (← links)
- Runtime monitors for Markov decision processes (Q832291) (← links)
- A necessary and sufficient condition for diagnosability of stochastic discrete event systems (Q1677190) (← links)
- Diagnosis and degradation control for probabilistic systems (Q2220350) (← links)
- A tale of two diagnoses in probabilistic systems (Q2280320) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- Optimal constructions for active diagnosis (Q2963940) (← links)
- (Q2978532) (← links)
- (Q4423257) (← links)
- Introduction to Diagnosis of Active Systems (Q4558902) (← links)
- Diagnosis in Infinite-State Probabilistic Systems (Q4608690) (← links)
- Analysis and control of timed event graphs in (max,+) algebra for the active localization of time failures (Q6544790) (← links)
