Travelled to:
1 × USA
Collaborated with:
K.Gondi A.P.Sistla
Talks about:
stochast (1) properti (1) regular (1) monitor (1) system (1) omega (1) rang (1) full (1)
Person: Yogeshkumar Patel
DBLP: Patel:Yogeshkumar
Contributed to:
Wrote 1 papers:
- VMCAI-2009-GondiPS #monitoring #probability
- Monitoring the Full Range of omega-Regular Properties of Stochastic Systems (KG, YP, APS), pp. 105–119.