A Calculus for Shapes in Time and Space-Reference-Cited by-同舟云学术

A Calculus for Shapes in Time and Space

Published:2005 Issue: Volume: Page:463-477
ISSN:0302-9743
Container-title:Theoretical Aspects of Computing - ICTAC 2004
language:
Short-container-title:

Author:

Schäfer Andreas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-31862-0_33.pdf

Reference20 articles.

1. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)

2. Artemov, S.N., Davoren, J.M., Nerode, A.: Modal logics and topological semantics for hybrid systems. Technical Report 97-05, Cornell University Ithaca (1997)

3. Aiello, M., van Benthem, H.: A Modal Walk Through Space. Technical report, Institute for Logic, Language and Computation, University of Amsterdam (2001)

4. Lecture Notes in Computer Science;J.C.M. Baeten,1991

5. Bennett, B., Cohn, A.G.: Multi-Dimensional Multi-Modal Logics as a Framworf for Spatio-Temporal Reasoning. Applied Intelligence 17(3), 239–251 (2002)

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A spatio-temporal specification language and its completeness & decidability;Journal of Cloud Computing;2020-11-25

2. Spatio-Temporal Specification Language for Cyber-Physical Systems;Formal Methods and Software Engineering;2019

3. Space for Traffic Manoeuvres: An Overview;Lecture Notes in Computer Science;2018

4. Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers;NASA Monographs in Systems and Software Engineering;2017

5. An Abstract Model for Proving Safety of Autonomous Urban Traffic;Theoretical Aspects of Computing – ICTAC 2016;2016