Modularized Control Synthesis for Complex Signal Temporal Logic Specifications

Zengjie Zhang (Corresponding author), Sofie Haesaert

Research output: Contribution to journalArticleAcademic

44 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Modularized Control Synthesis for Complex Signal Temporal Logic Specifications'. Together they form a unique fingerprint.

Engineering

Computer Science

Mathematics