Publisher
Springer International Publishing
Reference36 articles.
1. A repository of this work. https://github.com/ahagmj/TemporalReasoning.git
2. Abba, A.: Temporal reasoning about robotics applications: refinement and temporal logic. Ph.D. thesis, The University of York (2021)
3. Alur, R., Dill, D.: A theory of timed automata. Theor. Comput, Sci. 126, 183–235 (1994)
4. Back, R.: On correct refinement of programs. J. Comput. Syst. Sci. 23(1), 49–68 (1981)
5. Behrmann, G., David, A., Larsen, K.G., Håkansson, J., Petterson, P., Wang, Y., Hendriks, M.: UPPAAL 4.0. Third Int. Conf. Quant. Eval. Syst. QEST 2006 pp. 125–126 (2006). https://doi.org/10.1109/QEST.2006.59
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CSP2Turtle: Verified Turtle Robot Plans;Robotics;2023-04-21
2. Transforming RoboSim Models into UPPAAL;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08