Personal information

No personal information available

Activities

Works (2)

Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic

2024-05-14 | Conference paper
Contributors: Bassem Ghorbel; Vinayak Prabhu
Source: check_circle
Crossref

Quantitative Robustness for Signal Temporal Logic With Time-Freeze Quantifiers

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2023-12 | Journal article
Contributors: Bassem Ghorbel; Vinayak S. Prabhu
Source: check_circle
Crossref