Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Jan Křetínský et al.

"Jan Křetínský et al." appeared in Books and Chapters

Showing 0 to 0 of 0 entries
BookAuthor(s)YearPublisher
No data available in table
BoookAuthor(s)YearPublisher
Showing 0 to 0 of 0 entries
Showing 1 to 4 of 4 entries
ChapterAuthor(s)BookBook AuthorsYearPublisher
Verification of Markov Decision Processes Using Learning Algorithms
Tomáš Brázdil; Krishnendu Chatterjee; Martin Chmelík; Vojtěch Forejt; Jan Křetínský; Marta Kwiatkowska et al.
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Franck Cassez; Jean-Francois Raskin
2014
Springer International Publishing
The Hanoi Omega-Automata Format
Tomáš Babiak; František Blahoudek; Alexandre Duret-Lutz; Joachim Klein; Jan Křetínský; David Müller et al.
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Daniel Kroening; Corina S. Păsăreanu
1st ed. 2015
Springer International Publishing
On Correctness, Precision, and Performance in Quantitative Verification
Carlos E. Budde; Arnd Hartmanns; Michaela Klauck; Jan Křetínský; David Parker; Tim Quatmann et al.
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV
Tiziana Margaria; Bernhard Steffen
1st ed. 2021
Springer International Publishing
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models
Ernst Moritz Hahn; Arnd Hartmanns; Christian Hensel; Michaela Klauck; Joachim Klein; Jan Křetínský et al.
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Dirk Beyer; Marieke Huisman; Fabrice Kordon; Bernhard Steffen
1st ed. 2019
Springer International Publishing
ChapterAuthor(s)BookBook AuthorsYearPublisher
Showing 1 to 4 of 4 entries