publications
publications by categories in reversed chronological order.
2023
2022
- HSCCPoster Abstract: Learning from Demonstrations with Temporal LogicsIn 25th ACM International Conference on Hybrid Systems: Computation and Control, 2022
2021
2020
- ICCPSMining Environment Assumptions for Cyber-Physical System ModelsIn 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS), 2020
2019
- MP35-04 AUTOMATED EVALUATION OF INSTRUMENT FORCE SENSITIVITY DURING ROBOTIC SUTURING UTILIZING VISION-BASED MACHINE LEARNINGJournal of Urology, 2019
- DATESpecifying and Evaluating Quality Metrics for Vision-based Perception SystemsIn 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019
2016
- Vehicle Number Plate Recognition System: A Literature Review and Implementation using Template MatchingInternational Journal of Computer Applications, 2016