Author:
Alur R.,Henzinger T.A.,Ho P.-H.
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study;Annals of Computer Science and Information Systems;2021-09-26
2. HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems;2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS);2018-09
3. Tracking smooth trajectories in linear hybrid systems;Information and Computation;2017-12
4. NeVer: a tool for artificial neural networks verification;Annals of Mathematics and Artificial Intelligence;2011-07
5. Implicit Real Vector Automata;Electronic Proceedings in Theoretical Computer Science;2010-10-28