Alert button
Picture for Milan Ceska

Milan Ceska

Alert button

Deductive Controller Synthesis for Probabilistic Hyperproperties

Jul 10, 2023
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger

Figure 1 for Deductive Controller Synthesis for Probabilistic Hyperproperties
Figure 2 for Deductive Controller Synthesis for Probabilistic Hyperproperties
Figure 3 for Deductive Controller Synthesis for Probabilistic Hyperproperties
Figure 4 for Deductive Controller Synthesis for Probabilistic Hyperproperties
Viaarxiv icon

Inductive Synthesis for Probabilistic Programs Reaches New Horizons

Jan 29, 2021
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen

Figure 1 for Inductive Synthesis for Probabilistic Programs Reaches New Horizons
Figure 2 for Inductive Synthesis for Probabilistic Programs Reaches New Horizons
Figure 3 for Inductive Synthesis for Probabilistic Programs Reaches New Horizons
Figure 4 for Inductive Synthesis for Probabilistic Programs Reaches New Horizons
Viaarxiv icon

Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits

Mar 05, 2020
Milan Ceska, Jiri Matyas, Vojtech Mrazek, Lukas Sekanina, Zdenek Vasicek, Tomas Vojnar

Figure 1 for Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits
Figure 2 for Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits
Figure 3 for Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits
Figure 4 for Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits
Viaarxiv icon

Shepherding Hordes of Markov Chains

Mar 26, 2019
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen

Figure 1 for Shepherding Hordes of Markov Chains
Figure 2 for Shepherding Hordes of Markov Chains
Figure 3 for Shepherding Hordes of Markov Chains
Figure 4 for Shepherding Hordes of Markov Chains
Viaarxiv icon