Planning Autonomous Marine Inspection Tasks Using SMT Encoding of Timelines
Category
Academic lecture
Client
- Research Council of Norway (RCN) / 322744
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