Author:
Ellen Christian,Gerwinn Sebastian,Fränzle Martin
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference25 articles.
1. Groote, J.F., van Vlijmen, Sebastiaan F.M., Koorn, Jan W.C.: The safety guaranteeing system at station hoorn-kersenboogerd. In: Proceedings of the Tenth Annual Conference on Computer Assurance (COMPASS), IEEE, pp 57–68 (1995)
2. Audemard, G., Bozzano, M., Cimatti, A., Sebastiani, R.: Verifying industrial hybrid systems with mathsat. Electron Notes Theor Comput Sci 119(2), 17–32 (2005)
3. Sproston, J.: Model checking for probabilistic timed and hybrid systems. Ph.D. thesis, School of Computer Science, The University of Birmingham (2001)
4. Fränzle, M., Hermanns, H., Teige, T.: Stochastic satisfiability modulo theory: a novel technique for the analysis of probabilistic hybrid systems. In: Egerstedt, M., Mishra, B. (eds.) Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, vol. 4981, pp. 172–186. Springer, Berlin, Heidelberg (2008)
5. Littman, M.L., Majercik, S.M., Pitassi, T.: Stochastic boolean satisfiability. J. Autom. Reason. 27(3), 251–296 (2001)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献