Milan Ceska

83 papers A* 3A 8B 4C 1Misc 1Journal 32Unranked 31
YearRankTypeTitle / Venue / Authors
2026 A* conf
Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking.
AAAI
Linus Heck, Filip Macák, Milan Ceska, Sebastian Junges
2026 J jnl
Finite-State Controllers for (Hidden-Model) POMDPs using Deep Reinforcement Learning.
CoRR
David Hudák, Maris F. L. Galesloot, Martin Tappler, Martin Kurecka, Nils Jansen, Milan Ceska
2026 J jnl
Search and explore: symbiotic policy synthesis in POMDPs.
Formal Methods Syst. Des.
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2025 J jnl
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty.
J. Artif. Intell. Res.
Roman Andriushchenko, Milan Ceska, Filip Macák, Sebastian Junges, Joost-Pieter Katoen
2025 J jnl
Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking.
CoRR
Linus Heck, Filip Macák, Milan Ceska, Sebastian Junges
2025 A conf
Decentralized Planning Using Probabilistic Hyperproperties.
AAMAS
Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, Milan Ceska
2025 J jnl
Decentralized Planning Using Probabilistic Hyperproperties.
CoRR
Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, Milan Ceska
2025 A* conf
Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs.
IJCAI
Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
2025 — conf
Small Decision Trees for MDPs with Deductive Synthesis.
CAV (2)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
2025 J jnl
Small Decision Trees for MDPs with Deductive Synthesis.
CoRR
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
2025 A conf
Symbiotic Local Search for Small Decision Tree Policies in MDPs.
UAI
Roman Andriushchenko, Milan Ceska, Debraj Chakraborty, Sebastian Junges, Jan Kretínský, Filip Macák
2025 J jnl
rfPG: Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs.
CoRR
Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
2024 J jnl
Abstraction-based segmental simulation of reaction networks using adaptive memoization.
BMC Bioinform.
Martin Helfrich, Roman Andriushchenko, Milan Ceska, Jan Kretínský, Stefan Marticek, David Safránek
2024 — conf
Policies Grow on Trees: Model Checking Families of MDPs.
ATVA (2)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
2024 J jnl
Policies Grow on Trees: Model Checking Families of MDPs.
CoRR
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Macák
2024 J jnl
Tools at the Frontiers of Quantitative Verification.
CoRR
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2023 — conf
Deductive Controller Synthesis for Probabilistic Hyperproperties.
QEST
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
2023 J jnl
Deductive Controller Synthesis for Probabilistic Hyperproperties.
CoRR
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
2023 — conf
Search and Explore: Symbiotic Policy Synthesis in POMDPs.
CAV (3)
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2023 J jnl
Search and Explore: Symbiotic Policy Synthesis in POMDPs.
CoRR
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2023 — conf
Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.
TOOLympics@ETAPS
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2022 — conf
Abstraction-Based Segmental Simulation of Chemical Reaction Networks.
CMSB
Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek
2022 J jnl
Abstraction-Based Segmental Simulation of Chemical Reaction Networks.
CoRR
Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek
2022 J jnl
Designing Approximate Arithmetic Circuits with Combined Error Constraints.
CoRR
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar
2022 — conf
GPU-Accelerated Synthesis of Probabilistic Programs.
EUROCAST
Roman Andriushchenko, Milan Ceska, Vladimír Marcin, Tomás Vojnar
2022 J jnl
Inductive Synthesis of Finite-State Controllers for POMDPs.
CoRR
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
2022 A conf
Inductive synthesis of finite-state controllers for POMDPs.
UAI
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
2022 J jnl
SagTree: Towards efficient mutation in evolutionary circuit approximation.
Swarm Evol. Comput.
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
2021 J jnl
Adaptive formal approximations of Markov chains.
Perform. Evaluation
Alessandro Abate, Roman Andriushchenko, Milan Ceska, Marta Kwiatkowska
2021 J jnl
Counterexample-guided inductive synthesis for probabilistic systems.
Formal Aspects Comput.
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
2021 — conf
Inductive Synthesis for Probabilistic Programs Reaches New Horizons.
TACAS (1)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
2021 J jnl
Inductive Synthesis for Probabilistic Programs Reaches New Horizons.
CoRR
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen
2021 J jnl
Model Repair Revamped: On the Automated Synthesis of Markov Chains.
CoRR
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2021 — conf
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs.
CAV (1)
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinský
2020 J jnl
Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits.
CoRR
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
2020 J jnl
Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits.
Appl. Soft Comput.
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
2020 J jnl
Approximate reduction of finite automata for high-speed network intrusion detection.
Int. J. Softw. Tools Technol. Transf.
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
2020 A conf
Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits.
SAT
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar
2020 — conf
SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks.
CAV (1)
Milan Ceska, Calvin Chau, Jan Kretínský
2019 B conf
Counterexample-Driven Synthesis for Probabilistic Program Sketches.
FM
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
2019 J jnl
Counterexample-Driven Synthesis for Probabilistic Program Sketches.
CoRR
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
2019 Misc conf
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata.
FCCM
Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar
2019 — ed.
Hybrid Systems Biology - 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers
HSB
Milan Ceska, Nicola Paoletti
2019 — conf
Model Repair Revamped - - On the Automated Synthesis of Markov Chains -.
From Reactive Systems to Cyber-Physical Systems
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2019 J jnl
Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks.
CoRR
Milan Ceska, Jan Kretínský
2019 — conf
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract).
CMSB
Milan Ceska, Jan Kretínský
2019 — conf
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks.
CAV (1)
Milan Ceska, Jan Kretínský
2019 — conf
Shepherding Hordes of Markov Chains.
TACAS (2)
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2019 J jnl
Shepherding Hordes of Markov Chains.
CoRR
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2018 — conf
ADAC: Automated Design of Approximate Circuits.
CAV (1)
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
2018 — conf
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection.
TACAS (2)
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
2018 — ed.
Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings
CMSB
Milan Ceska, David Safránek
2018 J jnl
Efficient synthesis of robust models for stochastic systems.
J. Syst. Softw.
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2018 J jnl
Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158].
J. Syst. Softw.
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2017 J jnl
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection.
CoRR
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
2017 A conf
Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished.
ICCAD
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
2017 A conf
Designing Robust Software Systems through Parametric Markov Chain Synthesis.
ICSA
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2017 J jnl
Precise parameter synthesis for stochastic biochemical systems.
Acta Informatica
Milan Ceska, Frits Dannenberg, Nicola Paoletti, Marta Kwiatkowska, Lubos Brim
2017 — conf
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems.
QEST
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2017 — conf
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision.
HSCC
Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska
2017 — conf
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks.
CAV (2)
Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby
2016 B conf
Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations.
ATVA
Alessandro Abate, Milan Ceska, Marta Kwiatkowska
2016 A conf
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems.
TACAS
Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska
2016 — conf
Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components.
Euro-Par Workshops
Stefano Aldegheri, Jiri Barnat, Nicola Bombieri, Federico Busato, Milan Ceska
2015 — conf
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks.
CAV (1)
Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska
2015 — conf
Parameter Synthesis by Parallel Coloured CTL Model Checking.
CMSB
Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek
2014 — conf
Precise Parameter Synthesis for Stochastic Biochemical Systems.
CMSB
Milan Ceska, Frits Dannenberg, Marta Z. Kwiatkowska, Nicola Paoletti
2013 A* conf
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking.
CAV
Lubos Brim, Milan Ceska, Sven Drazan, David Safránek
2013 — conf
Model Checking of Biological Systems.
SFM
Lubos Brim, Milan Ceska, David Safránek
2013 J jnl
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking.
CoRR
Lubos Brim, Milan Ceska, Sven Drazan, David Safránek
2012 J jnl
Designing fast LTL model checking algorithms for many-core GPUs.
J. Parallel Distributed Comput.
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
2012 — conf
On Parallel Software Verification Using Boolean Equation Systems.
SPIN
Alexander Ditter, Milan Ceska, Gerald Lüttgen
2011 — conf
Computing Optimal Cycle Mean in Parallel on CUDA
PDMC
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
2011 A conf
Computing Strongly Connected Components in Parallel on CUDA.
IPDPS
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
2010 — conf
CUDA Accelerated LTL Model Checking - Revisited.
MEMICS
Petr Bauch, Milan Ceska
2010 B conf
Employing Multiple CUDA Devices to Accelerate LTL Model Checking.
ICPADS
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
2009 B conf
CUDA Accelerated LTL Model Checking.
ICPADS
Jiri Barnat, Lubos Brim, Milan Ceska, Tomas Lamr
2009 — conf
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
PDMC
Jiri Barnat, Lubos Brim, Milan Ceska
2009 — ed.
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2008, Znojmo, Czech Republic, November 14-16, 2008
MEMICS
Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar
2008 C conf
Local Quantitative LTL Model Checking.
FMICS
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
2008 — conf
Preface.
MEMICS
Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar
2008 — conf
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems.
QEST
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
2007 — conf
ProbDiVinE: A Parallel Qualitative LTL Model Checker.
QEST
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova