Milan Ceska
Vysoké ucení technické v Brne
H-index: 21
Europe-Czech Republic
Top articles of Milan Ceska
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Tools at the frontiers of quantitative verification: QComp 2023 competition report | R Andriushchenko A Bork CE Budde M Češka K Grover | 2024 | |
Deductive controller synthesis for probabilistic hyperproperties | Roman Andriushchenko Ezio Bartocci Milan Češka Francesco Pontiggia Sarah Sallinger | 2023/9/15 | |
Search and explore: symbiotic policy synthesis in POMDPs | Roman Andriushchenko Alexander Bork Milan Češka Sebastian Junges Joost-Pieter Katoen | 2023 | |
Designing Approximate Arithmetic Circuits with Combined Error Constraints | Milan Češka Jiří Matyáš Vojtech Mrazek Tomáš Vojnar | 2022/8/31 | |
Abstraction-based segmental simulation of chemical reaction networks | Martin Helfrich Milan Češka Jan Křetínský Štefan Martiček | 2022/8/19 | |
Inductive synthesis of finite-state controllers for POMDPs | Roman Andriushchenko Milan Ceska Sebastian Junges Joost-Pieter Katoen | 2022/3/21 | |
SagTree: Towards efficient mutation in evolutionary circuit approximation | Swarm and Evolutionary Computation | Milan Češka Jiří Matyáš Vojtěch Mrázek Lukáš Sekanina Zdeněk Vašíček | 2022/3/1 |
GPU-Accelerated Synthesis of Probabilistic Programs | Computer Aided Systems Theory–EUROCAST 2022: 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20–25, 2022, Revised Selected Papers | Tomáˇs Vojnar | 2023/2/9 |
Counterexample-guided inductive synthesis for probabilistic systems | Formal Aspects of Computing | Milan Češka Christian Hensel Sebastian Junges Joost-Pieter Katoen | 2021/8 |
PAYNT: a tool for inductive synthesis of probabilistic programs | Roman Andriushchenko Milan Češka Sebastian Junges Joost-Pieter Katoen Šimon Stupinský | 2021/7/20 | |
Adaptive formal approximations of Markov chains | Performance Evaluation | Alessandro Abate Roman Andriushchenko Milan Češka Marta Kwiatkowska | 2021/7/1 |
Model repair revamped: On the automated synthesis of markov chains | arXiv preprint arXiv:2105.13411 | Milan Ceska Christian Dehnert Nils Jansen Sebastian Junges Joost-Pieter Katoen | 2021/5/27 |
Inductive synthesis for probabilistic programs reaches new horizons | Roman Andriushchenko Milan Češka Sebastian Junges Joost-Pieter Katoen | 2021/3/27 | |
Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits | Applied soft computing | Milan Češka Jiří Matyáš Vojtech Mrazek Lukas Sekanina Zdenek Vasicek | 2020/10/1 |
Approximate reduction of finite automata for high-speed network intrusion detection | International Journal on Software Tools for Technology Transfer | Milan Češka Vojtěch Havlena Lukáš Holík Ondřej Lengál Tomáš Vojnar | 2020/10 |
SeQuaiA: a scalable tool for semi-quantitative analysis of chemical reaction networks | Milan Češka Calvin Chau Jan Křetínský | 2020/7/14 | |
Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits | Milan Češka Jiří Matyáš Vojtech Mrazek Tomáš Vojnar | 2020 | |
Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error | Milan Češka jr Milan Češka Jiří Matyáš Adam Pankuch Tomáš Vojnar | 2020 |