×

Found 2 Documents (Results 1–2)

Efficient on-the-fly algorithms for partially observable timed games. (English) Zbl 1141.93377

Raskin, Jean-François (ed.) et al., Formal modeling and analysis of timed systems. 5th international conference, FORMATS 2007, Salzburg, Austria, October 3–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75453-4/pbk). Lecture Notes in Computer Science 4763, 5-24 (2007).
MSC:  93C65 68Q45 91A80
PDFBibTeX XMLCite
Full Text: DOI

Timed control with observation based and stuttering invariant strategies. (English) Zbl 1141.68428

Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 192-206 (2007).
MSC:  68Q45 91A80 93B50
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Main Field

all top 3

Software