Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut Introduction to model checking. (English) Zbl 1392.68242 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). 1-26 (2018). MSC: 68Q60 PDFBibTeX XMLCite \textit{E. M. Clarke} et al., in: Handbook of model checking. Cham: Springer. 1--26 (2018; Zbl 1392.68242) Full Text: DOI
Bogomolov, Sergiy; Frehse, Goran; Giacobbe, Mirco; Henzinger, Thomas A. Counterexample-guided refinement of template polyhedra. (English) Zbl 1452.68099 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 589-606 (2017). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Bogomolov} et al., Lect. Notes Comput. Sci. 10205, 589--606 (2017; Zbl 1452.68099) Full Text: DOI Link
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu Model checking transactional memories. (English) Zbl 1267.68143 Distrib. Comput. 22, No. 3, 129-145 (2010). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{R. Guerraoui} et al., Distrib. Comput. 22, No. 3, 129--145 (2010; Zbl 1267.68143) Full Text: DOI Link
de Alfaro, Luca; Henzinger, Thomas A.; Kupferman, Orna Concurrent reachability games. (English) Zbl 1154.91306 Theor. Comput. Sci. 386, No. 3, 188-217 (2007). MSC: 91A05 91A15 PDFBibTeX XMLCite \textit{L. de Alfaro} et al., Theor. Comput. Sci. 386, No. 3, 188--217 (2007; Zbl 1154.91306) Full Text: DOI
Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak On the universal and existential fragments of the \(\mu\)-calculus. (English) Zbl 1088.68106 Theor. Comput. Sci. 354, No. 2, 173-186 (2006). MSC: 68Q60 68Q45 03D05 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Theor. Comput. Sci. 354, No. 2, 173--186 (2006; Zbl 1088.68106) Full Text: DOI
Henzinger, Thomas A.; Kopke, Peter W. Discrete-time control for rectangular hybrid automata. (English) Zbl 0930.68086 Theor. Comput. Sci. 221, No. 1-2, 369-392 (1999). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{T. A. Henzinger} and \textit{P. W. Kopke}, Theor. Comput. Sci. 221, No. 1--2, 369--392 (1999; Zbl 0930.68086) Full Text: DOI
Henzinger, Thomas A.; Kopke, Peter W. Discrete-time control for rectangular hybrid automata. (English) Zbl 1401.93099 Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 582-593 (1997). MSC: 93B50 68Q17 68Q45 93C30 93C62 PDFBibTeX XMLCite \textit{T. A. Henzinger} and \textit{P. W. Kopke}, Lect. Notes Comput. Sci. 1256, 582--593 (1997; Zbl 1401.93099) Full Text: DOI