A platform for research: civil engineering, architecture and urbanism
CESAR: Control Envelope Synthesis via Angelic Refinements
CESAR: Control Envelope Synthesis via Angelic Refinements
CESAR: Control Envelope Synthesis via Angelic Refinements
Kabra, Aditi (author) / Laurent, Jonathan (author) / Mitsch, Stefan (author) / Platzer, André (author)
International Conference on Tools and Algorithms for the Construction and Analysis of Systems ; 30. ; 2024 ; Luxemburg
2024
Conference paper
English
British Library Online Contents | 1996
|An Angelic role Concrete report
British Library Online Contents | 2010
Angelic conversations - Carmelite convent, Tromsø . LUND & SLAATTO
Online Contents | 1996
Online Contents | 2011
Online Contents | 1998
|