Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga

Kim Guldstrand Larsen, Adrien Camille le Coent, Marius Mikučionis, Jakob Haahr Taankvist

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga'. Sammen danner de et unikt fingeraftryk.

Engineering

Computer Science

Physics

Mathematics

Chemical Engineering