Planning Autonomous Marine Inspection Tasks Using SMT Encoding of Timelines
Category
Academic article
Client
- Research Council of Norway (RCN) / 322744
Language
English
Author(s)
Affiliation
- SINTEF Digital / Mathematics and Cybernetics
Year
2022Published in
IFAC-PapersOnLine
ISSN
2405-8963
Publisher
Elsevier
Volume
55
Issue
31
Page(s)
190 - 195