Milan Češka

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Deductive controller synthesis for probabilistic hyperproperties	2024-05-29	Paper
Counterexample-driven synthesis for probabilistic program sketches	2024-03-14	Paper
Semi-quantitative abstraction and analysis of chemical reaction networks Computer Aided Verification	2024-02-16	Paper
Search and explore: symbiotic policy synthesis in POMDPs	2024-02-01	Paper
Shepherding hordes of Markov chains Tools and Algorithms for the Construction and Analysis of Systems	2023-11-24	Paper
Abstraction-based segmental simulation of chemical reaction networks	2023-01-18	Paper
Syntax-guided optimal synthesis for chemical reaction networks	2022-08-12	Paper
Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components Euro-Par 2016: Parallel Processing Workshops	2022-03-09	Paper
Counterexample-guided inductive synthesis for probabilistic systems Formal Aspects of Computing	2021-09-14	Paper
Inductive synthesis for probabilistic programs reaches new horizons	2021-08-04	Paper
Satisfiability solving meets evolutionary optimisation in designing approximate circuits	2021-04-07	Paper
Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations	2018-10-25	Paper
Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks	2018-03-01	Paper
Precise parameter synthesis for stochastic biochemical systems Acta Informatica	2017-10-09	Paper
Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control	2017-07-11	Paper
Pattern-based verification of programs with extended linear linked data structures	2013-12-04	Paper
Model checking of biological systems Lecture Notes in Computer Science	2013-06-28	Paper
CUDA accelerated LTL model checking -- revisited	2012-09-28	Paper
Generalised multi-pattern-based verification of programs with linear linked structures Formal Aspects of Computing	2007-09-06	Paper
scientific article; zbMATH DE number 2000425 (Why is no real title available?)	2003-11-03	Paper
scientific article; zbMATH DE number 1614642 (Why is no real title available?)	2001-07-05	Paper
scientific article; zbMATH DE number 45394 (Why is no real title available?)	1992-09-17	Paper
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking	N/A	Paper

Research outcomes over time

This page was built for person: Milan Češka