Milan Ceska

Orcid: 0000-0002-0300-9727

Affiliations:

Brno University of Technology, Department of Intelligent Systems (DITS), Czech Republic
University of Oxford, Department of Computer Science, UK
Masaryk University, Faculty of Informatics, Brno, Czech Republic

According to our database¹, Milan Ceska authored at least 75 papers between 2007 and 2025.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

rfPG: Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs.

[BibT_eX]

[DOI]

Maris F. L. Galesloot

CoRR, May, 2025

An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2025

Symbiotic Local Search for Small Decision Tree Policies in MDPs.

[BibT_eX]

[DOI]

Proceedings of the Conference on Uncertainty in Artificial Intelligence, 2025

Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs.

[BibT_eX]

[DOI]

Maris F. L. Galesloot

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Decentralized Planning Using Probabilistic Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

Small Decision Trees for MDPs with Deductive Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Abstraction-based segmental simulation of reaction networks using adaptive memoization.

[BibT_eX]

[DOI]

BMC Bioinform., December, 2024

Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'.

[BibT_eX]

[DOI]

Dataset, May, 2024

Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'.

[BibT_eX]

[DOI]

Dataset, May, 2024

Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'.

[BibT_eX]

[DOI]

Dataset, February, 2024

Tools at the Frontiers of Quantitative Verification.

[BibT_eX]

[DOI]

CoRR, 2024

Policies Grow on Trees: Model Checking Families of MDPs.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2024

2023

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties".

[BibT_eX]

[DOI]

Dataset, July, 2023

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties".

[BibT_eX]

[DOI]

Dataset, June, 2023

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties".

[BibT_eX]

[DOI]

Dataset, May, 2023

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties".

[BibT_eX]

[DOI]

Dataset, May, 2023

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties".

[BibT_eX]

[DOI]

Dataset, May, 2023

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'.

[BibT_eX]

[DOI]

Dataset, April, 2023

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'.

[BibT_eX]

[DOI]

Dataset, April, 2023

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'.

[BibT_eX]

[DOI]

Dataset, April, 2023

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.

[BibT_eX]

[DOI]

Proceedings of the TOOLympics Challenge 2023, 2023

Deductive Controller Synthesis for Probabilistic Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Search and Explore: Symbiotic Policy Synthesis in POMDPs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Artifact for CMSB22 paper "Abstraction-Based Segmental Simulation of Chemical Reaction Networks".

[BibT_eX]

[DOI]

Dataset, June, 2022

SagTree: Towards efficient mutation in evolutionary circuit approximation.

[BibT_eX]

[DOI]

Swarm Evol. Comput., 2022

Designing Approximate Arithmetic Circuits with Combined Error Constraints.

[BibT_eX]

[DOI]

CoRR, 2022

Inductive synthesis of finite-state controllers for POMDPs.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty in Artificial Intelligence, 2022

GPU-Accelerated Synthesis of Probabilistic Programs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

Abstraction-Based Segmental Simulation of Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2022

2021

Adaptive formal approximations of Markov chains.

[BibT_eX]

[DOI]

Perform. Evaluation, 2021

Counterexample-guided inductive synthesis for probabilistic systems.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

Inductive Synthesis for Probabilistic Programs Reaches New Horizons.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2020

Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks.

[BibT_eX]

[DOI]

Milan Ceska

Calvin Chau

Jan Kretínský

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Shepherding Hordes of Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Counterexample-Driven Synthesis for Probabilistic Program Sketches.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2019

Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019

Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract).

[BibT_eX]

[DOI]

Milan Ceska

Jan Kretínský

Proceedings of the Computational Methods in Systems Biology, 2019

Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks.

[BibT_eX]

[DOI]

Milan Ceska

Jan Kretínský

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Model Repair Revamped - - On the Automated Synthesis of Markov Chains -.

[BibT_eX]

[DOI]

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

2018

Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158].

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Efficient synthesis of robust models for stochastic systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

ADAC: Automated Design of Approximate Circuits.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Precise parameter synthesis for stochastic biochemical systems.

[BibT_eX]

[DOI]

Acta Informatica, 2017

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Designing Robust Software Systems through Parametric Markov Chain Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters.

[BibT_eX]

[DOI]

Milan Ceska Jr.

Milan Ceska

Nicola Paoletti

Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2016: Parallel Processing Workshops, 2016

Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations.

[BibT_eX]

[DOI]

Alessandro Abate

Milan Ceska

Marta Kwiatkowska

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Parameter Synthesis by Parallel Coloured CTL Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2015

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Precise Parameter Synthesis for Stochastic Biochemical Systems.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2014

2013

On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking.

[BibT_eX]

[DOI]

CoRR, 2013

Model Checking of Biological Systems.

[BibT_eX]

[DOI]

Lubos Brim

Milan Ceska

David Safránek

Proceedings of the Formal Methods for Dynamical Systems, 2013

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Designing fast LTL model checking algorithms for many-core GPUs.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2012

On Parallel Software Verification Using Boolean Equation Systems.

[BibT_eX]

[DOI]

Alexander Ditter

Milan Ceska

Gerald Lüttgen

Proceedings of the Model Checking Software - 19th International Workshop, 2012

2011

Computing Optimal Cycle Mean in Parallel on CUDA

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Computing Strongly Connected Components in Parallel on CUDA.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2010

CUDA Accelerated LTL Model Checking - Revisited.

[BibT_eX]

[DOI]

Petr Bauch

Milan Ceska

Proceedings of the Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2010

Employing Multiple CUDA Devices to Accelerate LTL Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

2009

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

[BibT_eX]

[DOI]

Jiri Barnat

Lubos Brim

Milan Ceska

Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009

CUDA Accelerated LTL Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

2008

Preface.

[BibT_eX]

[DOI]

Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2008

ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Local Quantitative LTL Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

ProbDiVinE: A Parallel Qualitative LTL Model Checker.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Milan Ceska

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...