Planning Autonomous Marine Inspection Tasks Using SMT Encoding of Timelines
Category
Conference lecture
Language
English
Author(s)
Affiliation
- SINTEF Digital / Mathematics and Cybernetics
Presented at
14th IFAC Conference on Control Applications in Marine Systems, Robotics and Vehicles
Place
Kongens Lyngby, Danmark
Date
14.09.2022 - 16.09.2022
Organizer
Technical University of Denmark
Year
2022View this publication at Norwegian Research Information Repository