Rndr. Milan Češka
Professor
Department of Intelligent Systems
Central European Institute of Technology
Czech Republic
Biography
RNDr. Milan ÄŒeška is currently a Professor in the Department of Intelligent Systems Central European Institute of Technology, Czech republic. He completed M.Sc. in Numerical Mathematics and Computer Science from Masaryk University of Brno, 1968, M.Sc.-Master thesis: Finite automata synthesis. RNDr in Computer Science from Masaryk university of Brno, 1974, RNDr-thesis: Design and implementation of a discrete simulation language. Ph.D. in Applied Cybernetics from Technical University of Brno, 1978, Ph.D.-thesis: Parallel systems modelling.
Research Interest
Formal Languages Theory, Formal Specifications, Petri Nets Theory and System Modelling and Simulation.
Publications
-
NOVOSAD Petr and ÄŒEÅ KA Milan. Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2015, pp. 183-184. ISBN 978-84-606-5438-4.
-
NOVOSAD Petr and ÄŒEÅ KA Milan. Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings. Brno: Faculty of Information Technology BUT, 2015.
-
ÄŒEÅ KA Milan, ÄŒEÅ KA Milan and PAOLETTI Nicola. Precise Parameter Synthesis for Stochastic Petri Nets with Interval Rate Parameters. Processing of Sixteenth International Conference on Computer Aided Systems Theory (Extended Abstract). Las Palmas de Gran Canaria, 2017.
