Ghorbel, Bassem, and Prabhu, Vinayak S. Quantitative Robustness for Signal Temporal Logic With Time-Freeze Quantifiers. Retrieved from https://par.nsf.gov/biblio/10497666. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 42.12 Web. doi:10.1109/TCAD.2023.3283296.

Ghorbel, Bassem, & Prabhu, Vinayak S. Quantitative Robustness for Signal Temporal Logic With Time-Freeze Quantifiers. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 42 (12). Retrieved from https://par.nsf.gov/biblio/10497666. https://doi.org/10.1109/TCAD.2023.3283296

Ghorbel, Bassem, and Prabhu, Vinayak S. "Quantitative Robustness for Signal Temporal Logic With Time-Freeze Quantifiers". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 42 (12). Country unknown/Code not available: IEEE. https://doi.org/10.1109/TCAD.2023.3283296. https://par.nsf.gov/biblio/10497666.

@article{osti_10497666,
place = {Country unknown/Code not available}, title = {Quantitative Robustness for Signal Temporal Logic With Time-Freeze Quantifiers}, url = {https://par.nsf.gov/biblio/10497666}, DOI = {10.1109/TCAD.2023.3283296}, abstractNote = {}, journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}, volume = {42}, number = {12}, publisher = {IEEE}, author = {Ghorbel, Bassem and Prabhu, Vinayak S.}, }