Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

Houssam Abbas
Georgios E. Fainekos
Sriram Sankaranarayanan
Aarti Gupta
ACM Trans. Embedded Comput. Syst., 12(2013), pp. 95

Abstract

Research Areas