Relaxed Decidability and the Robust Semantics of Metric Temporal
H. Abbas, M. O’Kelly, and R. Mangharam, In Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control, Pittsburgh, April 2017
Publication Category: CPSF
Convergence Proofs for Simulated Annealing Falsification of Safety Properties
H. Abbas and G. Fainekos, (Invited) In the Proc. of 50th Annual Allerton Conference on Communication, Control and Computing, Monticello, IL, Oct. 2012.
Computing Descent Direction of MTL Robustness for Nonlinear Systems
H. Abbas and G. Fainekos, In the Proc. of 2013 American Control Conference, Washington D.C., June 2013.
Functional Gradient Descent Method for Metric Temporal Logic Specifications
H. Abbas, A. Winn, G. Fainekos and A. Julius, In the Proc. of 2014 American Control Conference, Portland, June 2014.
Robustness-Guided Temporal Logic Testing and Verification for Stochastic Cyber-Physical Systems
H. Abbas, B. Hoxha, G. Fainekos and K. Ueda, In the Proc. of IEEE-CYBER 2014, Hong Kong, June 2014.
Finalist for Best Student Paper Award.
Towards Formal Specification Visualization for Testing and Monitoring of Cyber-Physical Systems
B. Hoxha, H. Bach, H. Abbas, A. Dokhanchi, Y. Kobayashi, and G. Fainekos, In the Proc. of DIFTS 2014, Lausanne, October 2014
Model validation of PWM DC-DC converters
O. Beg, H. Abbas, T. Johnson and A. Davoudi. In IEEE Transactions on Industrial Electronics. March 2017.
Temporal Logic Robustness for General Signal Classes
H. Abbas, Y.V. Pant and R. Mangharam. In Hybrid Systems: Computation and Control (HSCC). April 2019.