New Article: "Assumption monitoring of temporal task planning using stream runtime verification"

Submitted by jgaleotti on 11/22

"Assumption monitoring of temporal task planning using stream runtime verification" by 
 Sebastian Zudaire, Felipe Gorostiaga, Cesar Sanchez, Gerardo Schneider, and Sebastian Uchitel was accepted for publication in the 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA, 2022.

Undefined