Author:
Alur R.,Kurshan R.P.,Viswanathan M.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Testing membership for timed automata;Acta Informatica;2023-07-17
2. Model-bounded Monitoring of Hybrid Systems;ACM Transactions on Cyber-Physical Systems;2022-10-31
3. Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.;25th ACM International Conference on Hybrid Systems: Computation and Control;2022-05-04
4. Model-bounded monitoring of hybrid systems;Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems;2021-05-19
5. Membership-Based Synthesis of Linear Hybrid Automata;Computer Aided Verification;2019