Search Results - "Juniwal, Garvit"

Robust online monitoring of signal temporal logic by Deshmukh, Jyotirmoy V., Donzé, Alexandre, Ghosh, Shromona, Jin, Xiaoqing, Juniwal, Garvit, Seshia, Sanjit A.

“…Signal temporal logic (STL) is a formalism used to rigorously specify requirements of cyberphysical systems (CPS), i.e., systems mixing digital or discrete…”
Get full text

Syntax-guided synthesis by Alur, Rajeev, Bodik, Rastislav, Juniwal, Garvit, Martin, Milo M. K., Raghothaman, Mukund, Seshia, Sanjit A., Singh, Rishabh, Solar-Lezama, Armando, Torlak, Emina, Udupa, Abhishek

“…The classical formulation of the program-synthesis problem is to find a program that meets a correctness specification given as a logical formula. Recent work…”
Get full text

CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory by Juniwal, Garvit, Donze, Alexandre, Jensen, Jeff C., Seshia, Sanjit A.

“…We consider the problem of designing an automatic grader for a laboratory in the area of cyber-physical systems. The goal of this laboratory is to program a…”
Get full text

Robust Online Monitoring of Signal Temporal Logic by Deshmukh, Jyotirmoy V, Donzé, Alexandre, Ghosh, Shromona, Jin, Xiaoqing, Juniwal, Garvit, Seshia, Sanjit A

“…Signal Temporal Logic (STL) is a formalism used to rigorously specify requirements of cyberphysical systems (CPS), i.e., systems mixing digital or discrete…”
Get full text