Decidable Model Checking of Probabilistic Hybrid Automata

@inproceedings{Sproston2000DecidableMC,
  title={Decidable Model Checking of Probabilistic Hybrid Automata},
  author={Jeremy Sproston},
  booktitle={FTRTFT},
  year={2000}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 50 extracted citations

25 Years of Model Checking

Ershov Memorial Conference • 2014
View 5 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…