Author:
Bartocci Ezio,Deshmukh Jyotirmoy,Donzé Alexandre,Fainekos Georgios,Maler Oded,Ničković Dejan,Sankaranarayanan Sriram
Publisher
Springer International Publishing
Reference132 articles.
1. Abbas, H., Fainekos, G.: Computing descent direction of MTL robustness for non-linear systems. In: Proceedings of ACC 2013: The 2013 American Control Conference, pp. 4405–4410 (2013)
2. Abbas, H., Fainekos, G.E., Sankaranarayanan, S., Ivancic, F., Gupta, A.: Probabilistic temporal logic falsification of cyber-physical systems. ACM Trans. Embed. Comput. Syst. 12(s2), 95:1–95:30 (2013)
3. Abbas, H., Hoxha, B., Fainekos, G., Ueda, K.: Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems. In: Proceedings of the 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent, pp. 1–6. IEEE (2014)
4. Abbas, H., Mittelmann, H., Fainekos, G.E.: Formal property verification in a conformance testing framework. In: Proceedings of MEMOCODE 2014: The 12th ACM-IEEE International Conference on Formal Methods and Models for System Design, pp. 155–164. IEEE (2014)
5. Lecture Notes in Computer Science;H Abbas,2017
Cited by
221 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献