Safety Verification and Controller Synthesis for Systems with Input Constraints.

Han Wang Kostas Margellos Antonis Papachristodoulou

Published in: CoRR (2022)

Keyphrases

safety analysis
formal methods
evolutionary algorithm
computer systems
closed loop
computing systems
safety critical