Funder
Defense Advanced Research Projects Agency
Air Force Research Laboratory
National Science Foundation
Air Force Office of Scientific Research
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference72 articles.
1. The temporal logic of programs;Pnueli,1977
2. Being correct is not enough: efficient verification using robust linear temporal logic;Anevlavis;ACM Trans. Comput. Log.,2022
3. Monitoring temporal properties of continuous signals;Maler,2004
4. System design of stochastic models using robustness of temporal properties;Bartocci;Theor. Comput. Sci.,2015
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献