1 paper
Matheus F. Reis, José P. Carvalho, A. Pedro Aguiar
Ensuring liveness and safety of autonomous and cyber-physical systems remains a fundamental challenge, particularly when multiple safety constraints are present. This letter advanc…