Author:
Alur Rajeev,Henzinger Thomas A.
Publisher
Springer Berlin Heidelberg
Cited by
268 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules;2024 IEEE Intelligent Vehicles Symposium (IV);2024-06-02
2. Model checking timed recursive CTL;Information and Computation;2024-06
3. Distributed runtime verification of metric temporal properties;Journal of Parallel and Distributed Computing;2024-03
4. Temporal Logics;2023-09-08
5. Checkmate: Fault Timing Localization for Multi-Robot Scenarios;2023 IEEE 19th International Conference on Automation Science and Engineering (CASE);2023-08-26