IRIS Institutional Research Information System

Sfoglia per Autore  Panjkovic, Stefan

Opzioni
Mostrati risultati da 1 a 6 di 6
Titolo Data di pubblicazione Autore(i) File
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping 1-gen-2022 Panjkovic, Stefan; Micheli, Andrea; Cimatti, Alessandro
Expressive Optimal Temporal Planning via Optimization Modulo Theory 1-gen-2023 Panjkovic, Stefan; Micheli, Andrea
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture 1-gen-2024 Tosello, Elisa; Bonel, Paolo; Buranello, Alberto; Carraro, Marco; Cimatti, Alessandro; Granelli, Lorenzo; Panjkovic, Stefan; Micheli, Andrea
Abstract Action Scheduling for Optimal Temporal Planning via OMT 1-gen-2024 Panjkovic, Stefan; Micheli, Andrea
Platform-Aware Mission Planning 1-gen-2025 Panjkovic, Stefan; Cimatti, Alessandro; Micheli, Andrea; Tonetta, Stefano
Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems 1-gen-2025 Panjkovic, Stefan; Cimatti, Alessandro; Micheli, Andrea; Tonetta, Stefano
Mostrati risultati da 1 a 6 di 6
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile