Modularized Control Synthesis for Complex Signal Temporal Logic Specifications

Zengjie Zhang (Corresponding author), Sofie Haesaert

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

47 Downloads (Pure)

Vingerafdruk

Duik in de onderzoeksthema's van 'Modularized Control Synthesis for Complex Signal Temporal Logic Specifications'. Samen vormen ze een unieke vingerafdruk.

Engineering

Computer Science

Mathematics