Milan Češka

Available identifiers

zbMath Open ceska.milanMaRDI QIDQ1702920

List of research outcomes

Publication	Date of Publication	Type
Semi-quantitative abstraction and analysis of chemical reaction networks	2024-02-16	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
https://portal.mardi4nfdi.de/entity/Q2863858	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	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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