Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Qi Heng Ho, Roland B. Ilyes, Zachary N. Sunberg, Morteza Lahijanian. Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications. In 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022. pages 3243-3249, IEEE, 2022. [doi]

This author has not been identified. Look up 'Qi Heng Ho' in GoogleThis author has not been identified. Look up 'Roland B. Ilyes' in GoogleThis author has not been identified. Look up 'Zachary N. Sunberg' in GoogleThis author has not been identified. Look up 'Morteza Lahijanian' in Google

runs on WebDSL