Weak Simplicial Bisimilarity for Polyhedral Models and SLCS $$_\eta $$-Reference-Cited by-同舟云学术

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS $$_\eta $$

Published:2024 Issue: Volume: Page:20-38
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:en
Short-container-title:

Author:

Bezhanishvili Nick^ORCID,Ciancia Vincenzo^ORCID,Gabelaia David^ORCID,Jibladze Mamuka^ORCID,Latella Diego^ORCID,Massink Mieke^ORCID,de Vink Erik P.^ORCID

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-62645-6_2

Reference23 articles.

1. Banci Buonamici, F., Belmonte, G., Ciancia, V., Latella, D., Massink, M.: Spatial logics and model checking for medical imaging. Int. J. Softw. Tools Technol. Transf. 22(2), 195–217 (2020). https://doi.org/10.1007/s10009-019-00511-9

2. Belmonte, G., Broccia, G., Ciancia, V., Latella, D., Massink, M.: Feasibility of spatial model checking for nevus segmentation. In: Bliudze, S., Gnesi, S., Plat, N., Semini, L. (eds.) 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, 17-21 May 2021, pp. 1–12. IEEE (2021). https://doi.org/10.1109/FormaliSE52586.2021.00007

3. Lecture Notes in Computer Science;G Belmonte,2019

4. van Benthem, J., Bezhanishvili, G.: Modal logics of space. In: Aiello, M., Pratt-Hartmann, I., Benthem, J.V. (eds.) Handbook of Spatial Logics, pp. 217–298. Springer, Cham (2007). https://doi.org/10.1007/978-1-4020-5587-4_5

5. Bezhanishvili, N., Ciancia, V., Gabelaia, D., Grilletti, G., Latella, D., Massink, M.: Geometric model checking of continuous space. Log. Methods Comput. Sci. 18(4), 7:1–7:38 (2022). https://lmcs.episciences.org/10348, https://doi.org/10.46298/LMCS-18(4:7)2022. 22 Nov 2022. ISSN: 1860-5974