Publisher
Springer Nature Switzerland
Reference19 articles.
1. Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata. IFAC Proc. Volumes 31(18), 447–452 (1998)
2. Baier, C., Katoen, J.P.: Principles of model checking. MIT press (2008)
3. BBC: Uber’s self-driving operator charged over fatal crash. https://www.bbc.com/news/technology-54175359 (September 16th, 2020)
4. Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Saár, Y.: Synthesis of reactive (1) designs. J. Comput. Syst. Sci. 78(3), 911–938 (2012)
5. Burns, A., McDermid, J., Dobson, J.: On the meaning of safety and security. Comput. J. 35(1), 3–15 (1992). https://doi.org/10.1093/comjnl/35.1.3