paper-conference

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies

Yiqi Zhao*, Xinyi Yu*, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

the ACM SIGBED International Conference on Embedded Software, 2025.

Jul 20, 2025

PDF Cite
Safety Assurance for Autonomous Systems with Multiple Sensor Modalities

Anand Balakrishnan, Rohit Bernard, Shreeram Narayanan, Vidisha Kudalkar, Yiqi Zhao, Parinitha Nagaraja, Georgi Markov, Christof Budnik, Helmut Degen, Lars Lindemann, Jyotrimoy Deshmukh

MEMOCODE 24

Nov 6, 2024

PDF Cite
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024, Best Paper Finalist.

Nov 16, 2023

PDF Cite Code
Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Fairguard: Harness Logic-based Fairness Rules in Smart Cities

Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma

8th ACM/IEEE Conference on Internet of Things Design and Implementation, 2023.

Feb 22, 2023

PDF Cite