CESAR: Control Envelope Synthesis via Angelic Refinements.

Aditi Kabra Jonathan Laurent Stefan Mitsch André Platzer

Published in: TACAS (1) (2024)

Keyphrases

control system
computer vision
metadata
three dimensional
information technology
control strategy
process control
control program