Cristin-resultat-ID: 2070296
Sist endret: 8. november 2022, 08:26
Resultat
Vitenskapelig foredrag
2022

Planning Autonomous Marine Inspection Tasks Using SMT Encoding of Timelines

Bidragsytere:
  • Bjørnar Luteberget og
  • Synne Fossøy

Presentasjon

Navn på arrangementet: 14th IFAC Conference on Control Applications in Marine Systems, Robotics and Vehicles
Sted: Kongens Lyngby, Danmark
Dato fra: 14. september 2022
Dato til: 16. september 2022

Arrangør:

Arrangørnavn: Technical University of Denmark

Om resultatet

Vitenskapelig foredrag
Publiseringsår: 2022

Beskrivelse Beskrivelse

Tittel

Planning Autonomous Marine Inspection Tasks Using SMT Encoding of Timelines

Bidragsytere

Bjørnar Steinnes Luteberget

Bidragsyterens navn vises på dette resultatet som Bjørnar Luteberget
  • Tilknyttet:
    Forfatter
    ved Mathematics and Cybernetics ved SINTEF AS

Synne Fossøy

  • Tilknyttet:
    Forfatter
    ved Mathematics and Cybernetics ved SINTEF AS
1 - 2 av 2