Predicate Monitoring in Distributed Cyber-physical Systems
Anik Momtaz, Niraj Basnet, Houssam Abbas and Borzoo Bonakdarpour, in Runtime Verification (RV) 2021.
Best Paper Award!
Publication Category: AVAC
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)
Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations
C. Shea-Blymyer and H. Abbas, ACM Transactions on Cyber-Physical Systems, 2021 (Accepted)
Learning-‘N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme
A. Rodionova, Y. V. Pant, C. Kurtz, K. Jang, H. Abbas, and R. Mangharam, In ACM Transactions on Cyber-Physical Systems (Accepted 2021)
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
Co-design of Anytime Computation and Robust Control
Y. V. Pant, K. Mohta, H. Abbas, T. X Nghiem, J. Devietti, and R. Mangharam, In the Proc. of RTSS 2015, San Antonio, TX, Oct 2015.
Smooth Operator: Control using the Smooth Robustness of Temporal Logic
Y. V. Pant*, H. Abbas* and R. Mangharam, In 1st IEEE Conference on Control Technology and Applications, Hawai, August 2017.
*Equal contribution
A Driver’s License for Driverless Vehicles
H. Abbas, M. O’Kelly, A. Rodionova and R. Mangharam. In ASME Dynamic Systems and Control Magazine, December 2017.
APEX: A Tool for Autonomous Vehicle Plan Verification and Execution
M. O’Kelly, H. Abbas and R. Mangharam, In the Proc. of SAE World Congress, April 2016