IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 40
Titolo Data di pubblicazione Autore(i) File
Dynamic controllability via Timed Game Automata 1-gen-2016 Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 1-gen-2017 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions 1-gen-2017 Micheli, Andrea
Strong temporal planning with uncontrollable durations 1-gen-2018 Cimatti, Alessandro; Do, Minh; Micheli, Andrea; Roveri, Marco; Smith, David E.
Temporal Planning with Temporal Metric Trajectory Constraints 1-gen-2019 Micheli, Andrea; Scala, Enrico
Robustness Envelopes for Temporal Plans 1-gen-2019 Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 1-gen-2020 Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico
Temporal Planning with Intermediate Conditions and Effects 1-gen-2020 Valentini, Alessandro; Micheli, Andrea; Cimatti, Alessandro
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving 1-gen-2020 Abate, Alessandro; Cimatti, Alessandro; Micheli, Andrea; Mufid, Muhammad Syifa’ul
SMT-Based Model Checking of Max-Plus Linear Systems 1-gen-2021 Syifa'ul Mufid, Muhammad; Micheli, Andrea; Abate, Alessandro; Cimatti, Alessandro
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning 1-gen-2021 Micheli, Andrea; Valentini, Alessandro
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans 1-gen-2021 Ribeiro, Tomás; Lima, Oscar; Cashmore, Michael; Micheli, Andrea; Ventura, Rodrigo
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans 1-gen-2021 Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa
Sistema robotico olfattivo 1-gen-2021 Shehaj Leone Bernald, Benedetto; Bozzoli, Alessandro; Mulloni, Viviana; Lorenzelli, Leandro; Micheli, Andrea
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping 1-gen-2022 Panjkovic, Stefan; Micheli, Andrea; Cimatti, Alessandro
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 1-gen-2022 Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning 1-gen-2022 Gigante, Nicola; Micheli, Andrea; Scala, Enrico
Expressive Optimal Temporal Planning via Optimization Modulo Theory 1-gen-2023 Panjkovic, Stefan; Micheli, Andrea
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 1-gen-2023 Bozzano, Marco; Bussola, Riccardo; Cristoforetti, Marco; Goyal, Srajan; Jonas, Martin; Kapellos, Konstantinos; Micheli, Andrea; Soldà, Davide; Tonetta, Stefano; Tranoris, Christos; Valentini, Alessandro
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
Mostrati risultati da 21 a 40 di 40
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