Towards effective preservation of robust safety properties.

Matteo Busi Pierpaolo Degano Letterio Galletta

Published in: SAC (2022)

Keyphrases

computationally efficient
desirable properties
website
clustering algorithm
search algorithm
long term
partial occlusion
highly efficient