Milan Češka

Available identifiers

zbMath Open ceska.milanMaRDI QIDQ1702920

List of research outcomes

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	2024-02-16	Paper
Search and explore: symbiotic policy synthesis in POMDPs	2024-02-01	Paper
Shepherding hordes of Markov chains	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	2022-03-09	Paper
Counterexample-guided inductive synthesis for probabilistic systems	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	2017-10-09	Paper
Reachability Computation for Switching Diffusions	2017-07-11	Paper
Pattern-based verification of programs with extended linear linked data structures	2013-12-04	Paper
Model Checking of Biological Systems	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	2007-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q4433968	2003-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q2723329	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q3995834	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