CESAR: Control Envelope Synthesis via Angelic Refinements.

Aditi Kabra Jonathan Laurent Stefan Mitsch André Platzer

Published in: CoRR (2023)

Keyphrases

data sets
real world
robot control
genetic algorithm
image segmentation
wide range
artificial neural networks
control system
control strategy