Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia. Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. In Alessandro Abate, Georgios E. Fainekos, editors, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016. pages 31-40, ACM, 2016. [doi]

This author has not been identified. Look up 'Shromona Ghosh' in GoogleThis author has not been identified. Look up 'Dorsa Sadigh' in GoogleThis author has not been identified. Look up 'Pierluigi Nuzzo' in GoogleThis author has not been identified. Look up 'Vasumathi Raman' in GoogleThis author has not been identified. Look up 'Alexandre Donzé' in GoogleThis author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in GoogleThis author has not been identified. Look up 'S. Shankar Sastry' in GoogleThis author has not been identified. Look up 'Sanjit A. Seshia' in Google

runs on WebDSL