Author:
Ničković Dejan,Qin Xin,Ferrère Thomas,Mateis Cristinel,Deshmukh Jyotirmoy
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Checkmate: Fault Timing Localization for Multi-Robot Scenarios;2023 IEEE 19th International Conference on Automation Science and Engineering (CASE);2023-08-26
2. Survey on mining signal temporal logic specifications;Information and Computation;2022-11
3. Introduction to the special issue of the 19th International Conference on Runtime Verification;International Journal on Software Tools for Technology Transfer;2021-05-21