Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James Model checking real-time systems. (English) Zbl 1392.68235 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 1001-1046 (2018). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{P. Bouyer} et al., in: Handbook of model checking. Cham: Springer. 1001--1046 (2018; Zbl 1392.68235) Full Text: DOI HAL
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James Algorithmic probabilistic game semantics. Playing games with automata. (English) Zbl 1291.68294 Form. Methods Syst. Des. 43, No. 2, 285-312 (2013). MSC: 68Q87 68Q45 91A80 PDFBibTeX XMLCite \textit{S. Kiefer} et al., Form. Methods Syst. Des. 43, No. 2, 285--312 (2013; Zbl 1291.68294) Full Text: DOI