Context-Aware Temporal Logic for Probabilistic Systems-Reference-Cited by-同舟云学术

Context-Aware Temporal Logic for Probabilistic Systems

Published:2020 Issue: Volume: Page:215-232
ISSN:0302-9743
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Elfar Mahmoud^ORCID,Wang Yu^ORCID,Pajic Miroslav^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-59152-6_12

Reference27 articles.

1. Lecture Notes in Computer Science;C Baier,2017

2. Baier, C., Katoen, J.P., Larsen, K.G.: Principles of Model Checking. MIT Press, Cambridge (2008)

3. Lecture Notes in Computer Science;G Barthe,2016

4. Blanchini, F.: Set invariance in control. Automatica 35(11), 1747–1767 (1999)

5. Boutilier, C., Brafman, R.I., Geib, C.: Prioritized goal decomposition of Markov decision processes: toward a synthesis of classical and decision theoretic planning. In: IJCAI, pp. 1156–1162 (1997)

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

1. Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges;Annual Reviews in Control;2024

2. Dynamic incentive mechanism design for regulation‐aware systems;International Journal of Intelligent Systems;2021-09-17

3. Regulation-as-a-Service: Model Checking for Decision-Making Behaviors in Price-Sensitive Service Systems;2021 IEEE International Conference on Services Computing (SCC);2021-09

4. Toward System Theoretical Foundations for Human–Autonomy Teams;Systems Engineering and Artificial Intelligence;2021

5. Context-Aware Temporal Logic for Probabilistic Systems;Automated Technology for Verification and Analysis;2020