AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems-Reference-Cited by-同舟云学术

AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems

Published:2020 Issue: Volume: Page:461-474
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Lavaei Abolfazl,Khaled Mahmoud,Soudjani Sadegh,Zamani Majid

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-53291-8_24

Reference31 articles.

1. Abate, A., et al.: ARCH-COMP19 category report: stochastic modelling. EPiC Ser. Comput. 61, 62–102 (2019)

2. Abate, A., et al.: ARCH-COMP18 category report: Stochastic modelling. In: ARCH@ ADHS, pp. 71–103 (2018)

3. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)

4. Lecture Notes in Computer Science;N Cauchi,2019

5. Haesaert, S., Soudjani, S.: Robust dynamic programming for temporal logic control of stochastic systems. CoRR abs/1811.11445 (2018). http://arxiv.org/abs/1811.11445

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

1. Fast Attack Recovery for Stochastic Cyber-Physical Systems;2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS);2024-05-13

2. IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic Systems;Lecture Notes in Computer Science;2024

3. MDP Abstractions from Data: Large-Scale Stochastic Networks;2023 62nd IEEE Conference on Decision and Control (CDC);2023-12-13

4. Abstracting Linear Stochastic Systems via Knowledge Filtering;2023 62nd IEEE Conference on Decision and Control (CDC);2023-12-13

5. A toolchain for strategy synthesis with spatial properties;International Journal on Software Tools for Technology Transfer;2023-11-02