Cited By
View all- Hekmatnejad MHoxha BDeshmukh JYang YFainekos G(2024)Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logicThe International Journal of Robotics Research10.1177/02783649231223546Online publication date: 24-Jan-2024
- Ghorbel BPrabhu V(2024) Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL * ) 2024 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)10.1109/MEMOCODE63347.2024.00006(1-11)Online publication date: 3-Oct-2024
- Ghorbel BPrabhu V(2023)Quantitative Robustness for Signal Temporal Logic With Time-Freeze QuantifiersIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2023.328329642:12(4436-4449)Online publication date: 6-Jun-2023