Research output per year
Research output per year
Search results
-
2025
A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community
Kanav, S., Křetínský, J. & Rieder, S., 2025, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 39-65 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15262 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
2022
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge
Chodil, M., Kučera, A. & Křetínský, J., 2022, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 364-387 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13660 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
2017
30 years of modal transition systems: Survey of extensions and analysis
Křetínský, J., 2017, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 36-74 39 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10460).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
17 Scopus citations