Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Milan Ceska 0002

Milan Ceska Jr. – Milan Češka Jr.

> Home > Persons

Person information

unicode name: Milan Češka Jr.
affiliation: Brno University of Technology, Department of Intelligent Systems (DITS), Czech Republic
affiliation: University of Oxford, Department of Computer Science, UK
affiliation: Masaryk University, Faculty of Informatics, Brno, Czech Republic
not to be confused with: Milan Ceska 0001

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/swevo/CeskaMMSVV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/swevo/CeskaMMSVV22
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar:
SagTree: Towards efficient mutation in evolutionary circuit approximation. Swarm Evol. Comput. 69: 100986 (2022)
2021
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/0002HJK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/0002HJK21
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen:
Counterexample-guided inductive synthesis for probabilistic systems. Formal Aspects Comput. 33(4-5): 637-667 (2021)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/AbateACK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/AbateACK21
Alessandro Abate, Roman Andriushchenko, Milan Ceska, Marta Kwiatkowska:
Adaptive formal approximations of Markov chains. Perform. Evaluation 148: 102207 (2021)
2020
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/asc/CeskaMMSVV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/asc/CeskaMMSVV20
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar:
Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits. Appl. Soft Comput. 95: 106466 (2020)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/CeskaHHLV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/CeskaHHLV20
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Approximate reduction of finite automata for high-speed network intrusion detection. Int. J. Softw. Tools Technol. Transf. 22(5): 523-539 (2020)
2018
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jss/CalinescuCGKP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/CalinescuCGKP18
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Efficient synthesis of robust models for stochastic systems. J. Syst. Softw. 143: 140-158 (2018)
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jss/CalinescuCGKP18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/CalinescuCGKP18a
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. J. Syst. Softw. 145: 195 (2018)
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/CeskaDPKB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/CeskaDPKB17
Milan Ceska, Frits Dannenberg, Nicola Paoletti, Marta Kwiatkowska, Lubos Brim:
Precise parameter synthesis for stochastic biochemical systems. Acta Informatica 54(6): 589-623 (2017)
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/BarnatBBC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/BarnatBBC12
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska:
Designing fast LTL model checking algorithms for many-core GPUs. J. Parallel Distributed Comput. 72(9): 1083-1097 (2012)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AndriushchenkoBCJKM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AndriushchenkoBCJKM23
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák:
Search and Explore: Symbiotic Policy Synthesis in POMDPs. CAV (3) 2023: 113-135
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/AndriushchenkoBCPS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/AndriushchenkoBCPS23
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger:
Deductive Controller Synthesis for Probabilistic Hyperproperties. QEST 2023: 288-306
2022
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/HelfrichCKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/HelfrichCKM22
Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek:
Abstraction-Based Segmental Simulation of Chemical Reaction Networks. CMSB 2022: 41-60
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/AndriushchenkoCMV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/AndriushchenkoCMV22
Roman Andriushchenko, Milan Ceska, Vladimír Marcin, Tomás Vojnar:
GPU-Accelerated Synthesis of Probabilistic Programs. EUROCAST 2022: 258-266
[c39]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/Andriushchenko022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/Andriushchenko022
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen:
Inductive synthesis of finite-state controllers for POMDPs. UAI 2022: 85-95
2021
[c38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AndriushchenkoC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AndriushchenkoC21
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinský:
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. CAV (1) 2021: 856-869
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/Andriushchenko021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Andriushchenko021
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen:
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. TACAS (1) 2021: 191-209
2020
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/0002CK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/0002CK20
Milan Ceska, Calvin Chau, Jan Kretínský:
SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks. CAV (1) 2020: 653-666
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/0001MMV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/0001MMV20
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar:
Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits. SAT 2020: 481-491
2019
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CeskaD0JK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CeskaD0JK19
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. From Reactive Systems to Cyber-Physical Systems 2019: 107-125
[c33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CeskaK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CeskaK19
Milan Ceska, Jan Kretínský:
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks. CAV (1) 2019: 475-496
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/0001K19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/0001K19
Milan Ceska, Jan Kretínský:
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract). CMSB 2019: 337-341
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/Ceska0MPV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/Ceska0MPV19
Milan Ceska Jr., Milan Ceska, Jirí Matyás, Adam Pankuch, Tomás Vojnar:
Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error. EUROCAST (1) 2019: 482-490
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/fccm/0001HHKLM0SV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fccm/0001HHKLM0SV19
Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar:
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. FCCM 2019: 109-117
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/CeskaHJK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/CeskaHJK19
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen:
Counterexample-Driven Synthesis for Probabilistic Program Sketches. FM 2019: 101-120
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CeskaJJK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CeskaJJK19
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Shepherding Hordes of Markov Chains. TACAS (2) 2019: 172-190
2018
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CeskaMMSVV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CeskaMMSVV18
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar:
ADAC: Automated Design of Approximate Circuits. CAV (1) 2018: 612-620
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CeskaHHLV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CeskaHHLV18
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. TACAS (2) 2018: 155-175
2017
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CardelliCFKLPW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CardelliCFKLPW17
Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby:
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. CAV (2) 2017: 375-395
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/CeskaCP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/CeskaCP17
Milan Ceska Jr., Milan Ceska, Nicola Paoletti:
Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters. EUROCAST (2) 2017: 38-46
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LaurentiABCCK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LaurentiABCCK17
Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska:
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. HSCC 2017: 55-64
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/CeskaMMSVV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/CeskaMMSVV17
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar:
Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished. ICCAD 2017: 416-423
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icsa/CalinescuCGKP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsa/CalinescuCGKP17
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Designing Robust Software Systems through Parametric Markov Chain Synthesis. ICSA 2017: 131-140
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/CalinescuCGKP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/CalinescuCGKP17
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. QEST 2017: 304-308
2016
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AbateCK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AbateCK16
Alessandro Abate, Milan Ceska, Marta Kwiatkowska:
Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. ATVA 2016: 13-31
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/AldegheriBBBC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/AldegheriBBBC16
Stefano Aldegheri, Jiri Barnat, Nicola Bombieri, Federico Busato, Milan Ceska:
Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components. Euro-Par Workshops 2016: 519-531
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/CeskaPPBK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CeskaPPBK16
Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska:
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. TACAS 2016: 367-384
2015
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AbateBCK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AbateBCK15
Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska:
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. CAV (1) 2015: 195-213
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/BrimCDPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/BrimCDPS15
Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek:
Parameter Synthesis by Parallel Coloured CTL Model Checking. CMSB 2015: 251-263
2014
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/CeskaDKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/CeskaDKP14
Milan Ceska, Frits Dannenberg, Marta Z. Kwiatkowska, Nicola Paoletti:
Precise Parameter Synthesis for Stochastic Biochemical Systems. CMSB 2014: 86-98
2013
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BrimCDS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BrimCDS13
Lubos Brim, Milan Ceska, Sven Drazan, David Safránek:
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. CAV 2013: 107-123
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/BrimCS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/BrimCS13
Lubos Brim, Milan Ceska, David Safránek:
Model Checking of Biological Systems. SFM 2013: 63-112
2012
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/DitterCL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/DitterCL12
Alexander Ditter, Milan Ceska, Gerald Lüttgen:
On Parallel Software Verification Using Boolean Equation Systems. SPIN 2012: 80-97
2011
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/BarnatBBC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/BarnatBBC11
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska:
Computing Strongly Connected Components in Parallel on CUDA. IPDPS 2011: 544-555
[c9]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1111-0627
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-0627
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska:
Computing Optimal Cycle Mean in Parallel on CUDA. PDMC 2011: 68-83
2010
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icpads/BarnatBBC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpads/BarnatBBC10
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska:
Employing Multiple CUDA Devices to Accelerate LTL Model Checking. ICPADS 2010: 259-266
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/memics/BauchC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/BauchC10
Petr Bauch, Milan Ceska:
CUDA Accelerated LTL Model Checking - Revisited. MEMICS 2010: 1-8
2009
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icpads/BarnatBCL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpads/BarnatBCL09
Jiri Barnat, Lubos Brim, Milan Ceska, Tomas Lamr:
CUDA Accelerated LTL Model Checking. ICPADS 2009: 34-41
[c5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0912-2555
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0912-2555
Jiri Barnat, Lubos Brim, Milan Ceska:
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking. PDMC 2009: 107-111
2008
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BarnatBCCT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BarnatBCCT08
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
Local Quantitative LTL Model Checking. FMICS 2008: 53-68
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BarnatBCCT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BarnatBCCT08
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST 2008: 77-78
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CeskaKKMV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CeskaKKMV09
Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar:
Preface. MEMICS 2008: 1-3
2007
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BarnatBCCT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BarnatBCCT07
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST 2007: 215-216

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2019
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/hsb/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsb/2019
Milan Ceska, Nicola Paoletti:
Hybrid Systems Biology - 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers. Lecture Notes in Computer Science 11705, Springer 2019, ISBN 978-3-030-28041-3 [contents]
2018
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/2018
Milan Ceska, David Safránek:
Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings. Lecture Notes in Computer Science 11095, Springer 2018, ISBN 978-3-319-99428-4 [contents]
2009
[e1]
- view
- export record
  dblp key:
  - conf/memics/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/2008
Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar:
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2008, Znojmo, Czech Republic, November 14-16, 2008. Electronic Notes in Theoretical Computer Science 251, Elsevier 2009 [contents]

Data and Artifacts

see FAQ

What is the meaning of the colors in the publication lists?

2024
[d4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/AndriushchenkoCJKM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AndriushchenkoCJKM24
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák:
Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'. Zenodo, 2024
2023
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/10/AndriushchenkoBCJKM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AndriushchenkoBCJKM23
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák:
Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. Version 0.3. Zenodo, 2023 [all versions]
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/AndriushchenkoBCJKM23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AndriushchenkoBCJKM23a
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák:
Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. Version 0.4. Zenodo, 2023 [all versions]
[d1]
- view
  authority control:
- export record
  dblp key:
  - data/10/AndriushchenkoBCJKM23b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AndriushchenkoBCJKM23b
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák:
Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. Version 0.5. Zenodo, 2023 [all versions]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-14149
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-14149
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák:
Search and Explore: Symbiotic Policy Synthesis in POMDPs. CoRR abs/2305.14149 (2023)
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-04503
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-04503
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger:
Deductive Controller Synthesis for Probabilistic Hyperproperties. CoRR abs/2307.04503 (2023)
2022
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-10803
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-10803
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen:
Inductive Synthesis of Finite-State Controllers for POMDPs. CoRR abs/2203.10803 (2022)
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-06677
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-06677
Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek:
Abstraction-Based Segmental Simulation of Chemical Reaction Networks. CoRR abs/2206.06677 (2022)
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-13077
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-13077
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar:
Designing Approximate Arithmetic Circuits with Combined Error Constraints. CoRR abs/2206.13077 (2022)
2021
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-12683
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-12683
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen:
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. CoRR abs/2101.12683 (2021)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-13411
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-13411
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Model Repair Revamped: On the Automated Synthesis of Markov Chains. CoRR abs/2105.13411 (2021)
2020
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-02491
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-02491
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar:
Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits. CoRR abs/2003.02491 (2020)
2019
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-05727
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-05727
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Shepherding Hordes of Markov Chains. CoRR abs/1902.05727 (2019)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-12371
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-12371
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen:
Counterexample-Driven Synthesis for Probabilistic Program Sketches. CoRR abs/1904.12371 (2019)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-09914
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-09914
Milan Ceska, Jan Kretínský:
Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks. CoRR abs/1905.09914 (2019)
2017
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-08647
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-08647
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. CoRR abs/1710.08647 (2017)
2013
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BrimCDS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BrimCDS13
Lubos Brim, Milan Ceska, Sven Drazan, David Safránek:
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking. CoRR abs/1310.4734 (2013)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.