RNDr. Petr Novotný, Ph.D.
Office: C412
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4499 |
---|---|
E‑mail: |
Office: C412
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4499 |
---|---|
E‑mail: |
Total number of publications: 28
Proceedings of the International Conference on Automated Planning and Scheduling, year: 2020
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}, year: 2020
The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, year: 2020
Foundations of Probabilistic Programming, year: 2020, number of pages: 38 s.
Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings., year: 2019
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings, year: 2019
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), year: 2019
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (TOPLAS), year: 2018, volume: 40, edition: 2, DOI
2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018), year: 2018