Krčál, Jan

1. Probabilistic Bisimulation: Naturally on Distributions
   2014/04/21 by Holger Hermanns, Jan Krčál, Hermanns, Holger +3 · 1 citation
   Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #cs.LO
2. Recharging Probably Keeps Batteries Alive
   2015/02/25 by Hermanns, Holger, Krčál, Jan, Nies, Gilles · 1 citation
   #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Measuring Performance of Continuous-Time Stochastic Processes using\n Timed Automata
   2011/01/21 by Tomǎš Brázdil, Brázdil, Tomáš, Jan Krčál +7 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Petri Nets in System Modeling #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering