Author:
Kwiatkowska Marta,Mereacre Alexandru,Paoletti Nicola,Patanè Andrea
Publisher
Springer International Publishing
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Timed Automata Robustness Analysis via Model Checking;Logical Methods in Computer Science;2022-07-29
2. Control Synthesis for Parametric Timed Automata under Unavoidability Specifications;2021 European Control Conference (ECC);2021-06-29
3. Control synthesis for parametric timed automata under reachability;TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES;2021-05-31
4. Timed Automata Relaxation for Reachability;Tools and Algorithms for the Construction and Analysis of Systems;2021
5. Synthesizing stealthy reprogramming attacks on cardiac devices;Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems;2019-04-16