To main content

Planning Autonomous Marine Inspection Tasks Using SMT Encoding of Timelines

Category

Conference lecture

Language

English

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

2022

View this publication at Norwegian Research Information Repository