Learning a Robot’s Social Obligations from Comparisons of Observed Behavior
C. Shea-Blymyer and H. Abbas, In IEEE Conf. on Advanced Robotics and its Social Impacts (July 2021)
Publication Category: CPSF
Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations
C. Shea-Blymyer and H. Abbas, ACM Transactions on Cyber-Physical Systems, 2021 (Accepted)
A Deontic Logic Analysis of Autonomous Systems’ Safety
C. Shea-Blymyer and H. Abbas, In the Proc. of Hybrid Systems: Computation and Control (HSCC), April 2020
FairFly: A Fair Motion Planner for Fleets of Autonomous UAVs in Urban Airspace
C. Kurtz and H. Abbas, In IEEE International Conference on Intelligent Transportation Systems (ITSC), Sept. 2020
Logical Signal Processing: a Fourier Analysis of Temporal Logic
N. Basnet and H. Abbas, In ACM International Conference on Runtime Verification (RV), Oct. 2020
Finalist for Best Paper Award
Formal Property Verification in a Conformance Testing Framework
H. Abbas, H. Mittelmann and G. Fainekos, In the Proc. of MEMOCODE 2014, Lausanne, October 2014.
Linear Hybrid System Falsification through Local Search
H. Abbas and G. Fainekos, In the Proc. Of Automated Technology for Verification and Analysis, Taipei, 2011.
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
H. Abbas, G. Fainekos, S. Sankaranarayanan, F. Ivancic, and A. Gupta, ACM Transactions on Embedded Computing Systems, Vol. 12, Issue 2, May 2013
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
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.