Sign in
Miroslav Chodil
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 4
Top Topics
Stochastic Local Search Algorithms
Np Complete
Temporal Logic
Satisfiability Problem
Top Venues
J. Comput. Syst. Sci.
CoRR
Principles of Systems Design
FCT
</>
Publications
</>
Miroslav Chodil
,
Antonín Kucera
The satisfiability problem for a quantitative fragment of PCTL.
J. Comput. Syst. Sci.
139 (2024)
Miroslav Chodil
,
Antonín Kucera
,
Jan Kretínský
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge.
Principles of Systems Design
(2022)
Miroslav Chodil
,
Antonín Kucera
The Satisfiability Problem for a Quantitative Fragment of PCTL.
CoRR
(2021)
Miroslav Chodil
,
Antonín Kucera
The Satisfiability Problem for a Quantitative Fragment of PCTL.
FCT
(2021)