Cassez, Franck 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 \textit{F. Cassez}, Lect. Notes Comput. Sci. 4763, 5--24 (2007; Zbl 1141.93377) Full Text: DOI
Cassez, Franck; David, Alexandre; Larsen, Kim G.; Lime, Didier; Raskin, Jean-François 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 \textit{F. Cassez} et al., Lect. Notes Comput. Sci. 4762, 192--206 (2007; Zbl 1141.68428) Full Text: DOI