Publisher
Springer International Publishing
Reference10 articles.
1. Balbiani, P., Fernández-Duque, D., Lorini, E.: Exploring the bidimensional space: a dynamic logic point of view. In: The 16th Conference on Autonomous Agents and MultiAgent Systems, pp. 132–140. Springer (2017)
2. Bartocci, E., Gol, E.A., Haghighi, I., Belta, C.: A formal methods approach to pattern recognition and synthesis in reaction diffusion networks. IEEE Trans. Control of Network Syst. 5(1), 308–320 (2018)
3. Bennett, B., Cohn, A.G., Wolter, F., Zakharyaschev, M.: Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Applied Intell. 17(3), 239–251 (2002)
4. Bersani, M.M., Rossi, M., San Pietro, P.: An SMT-based approach to satisfiability checking of MITL. Inf. Comput. 245, 72–97 (2015)
5. Ciancia, V., Gilmore, S., Grilletti, G., Latella, D., Loreti, M., Massink, M.: Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Software Tools Technol. Transf. pp. 1–23 (2018)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Checking of Spatial Logic;2020 27th Asia-Pacific Software Engineering Conference (APSEC);2020-12