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

"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