Planning Autonomous Marine Inspection Tasks Using SMT Encoding of Timelines

Category

Academic article

Language

English

Author(s)

Affiliation

SINTEF Digital / Mathematics and Cybernetics

Year

2022

Published in

IFAC-PapersOnLine

Volume

55

Issue

31

Page(s)

190 - 195

DOI

https://doi.org/10.1016/j.ifacol.2022.10.430

View this publication at Norwegian Research Information Repository