Funder
NSFC
National Key Research and Development Project
Shanghai Knowledge Service Platform Project
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Information Systems,Software
Reference43 articles.
1. Lee EA (2008) Cyber physical systems: Design challenges. In: 2008 11th IEEE international symposium on object oriented real-time distributed computing (ISORC). IEEE
2. Gabbay DM, Kurucz A, Wolter F, Zakharyaschev M (2003) Many-dimensional modal logics: theory and applications. Amsterdam; Boston: Elsevier. North Holland
3. Konur S, Fisher M, Schewe S (2013) Combined model checking for temporal, probabilistic, and real-time logics. Theor Comput Sci 503:61–88
4. Gabelaia D, Kontchakov R, Kurucz A, Wolter F, Zakharyaschev M (2005) Combining spatial and temporal logics: expressiveness vs. complexity. J Artif Intell Res 23:167–243
5. Wolter F, Zakharyaschev M (2000) Spatio-temporal representation and reasoning based on RCC-8. In: 7Th international conference on principles of knowledge representation and reasoning. Morgan kaufmann, pp 3–14
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Time: It is only Logical!;Theories of Programming and Formal Methods;2023
2. Pseudo-Physical Logics in Control of Cyber Security Systems;2022 International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT);2022-10-20