Original language | Undefined |
---|---|
Journal | arXiv.org |
Publication status | Published - 2021 |
Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models
Ramon Fraga Pereira, Francesco Fuggitti, Giuseppe De Giacomo
Research output: Contribution to journal › Article