Learning Linear Temporal Properties for Autonomous Robotic Systems.

Michele Colledanchise

Enrico Ghiorzi Michele Colledanchise Gianluca Piquet Stefano Bernagozzi Armando Tacchella Lorenzo Natale Learning Linear Temporal Properties for Autonomous Robotic Systems. 2930-2937 2023 May 8 IEEE Robotics Autom. Lett. 5 https://doi.org/10.1109/LRA.2023.3263368 db/journals/ral/ral8.html#GhiorziCPBTN23

Michele Colledanchise Lorenzo Natale Handling Concurrency in Behavior Trees. 2557-2576 2022 38 IEEE Trans. Robotics 4 https://doi.org/10.1109/TRO.2021.3125863 db/journals/trob/trob38.html#ColledanchiseN22

Andrea Rosasco Stefano Berti Fabrizio Bottarel Michele Colledanchise Lorenzo Natale Towards Confidence-guided Shape Completion for Robotic Applications. 580-586 2022 Humanoids https://doi.org/10.1109/Humanoids53995.2022.10000218 conf/humanoids/2022 db/conf/humanoids/humanoids2022.html#RosascoBBCN22 Stefano Berti Andrea Rosasco Michele Colledanchise Lorenzo Natale One-Shot Open-Set Skeleton-Based Action Recognition. 765-772 2022 Humanoids https://doi.org/10.1109/Humanoids53995.2022.10000115 conf/humanoids/2022 db/conf/humanoids/humanoids2022.html#BertiRCN22

Stefano Berti Andrea Rosasco Michele Colledanchise Lorenzo Natale One-Shot Open-Set Skeleton-Based Action Recognition. 2022 abs/2209.04288 CoRR https://doi.org/10.48550/arXiv.2209.04288 db/journals/corr/corr2209.html#abs-2209-04288

Andrea Rosasco Stefano Berti Fabrizio Bottarel Michele Colledanchise Lorenzo Natale Towards Confidence-guided Shape Completion for Robotic Applications. 2022 abs/2209.04300 CoRR https://doi.org/10.48550/arXiv.2209.04300 db/journals/corr/corr2209.html#abs-2209-04300

Michele Colledanchise Address behaviour vulnerabilities in the next generation of autonomous robots. 927-928 2021 3 Nat. Mach. Intell. 11 https://doi.org/10.1038/s42256-021-00415-x db/journals/natmi/natmi3.html#Colledanchise21

Michele Colledanchise Lorenzo Natale On the Implementation of Behavior Trees in Robotics. 5929-5936 2021 6 IEEE Robotics Autom. Lett. 3 https://doi.org/10.1109/LRA.2021.3087442 db/journals/ral/ral6.html#ColledanchiseN21

Evgenii Safronov Nicola A. Piga Michele Colledanchise Lorenzo Natale Active Perception for Ambiguous Objects Classification. 4437-4444 2021 IROS https://doi.org/10.1109/IROS51168.2021.9636414 conf/iros/2021 db/conf/iros/iros2021.html#SafronovPCN21 Michele Colledanchise Giuseppe Cicala Daniele E. Domenichelli Lorenzo Natale Armando Tacchella Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies. 9841-9848 2021 IROS https://doi.org/10.1109/IROS51168.2021.9636129 conf/iros/2021 db/conf/iros/iros2021.html#ColledanchiseCD21

Michele Colledanchise A New Paradigm of Threats in Robotics Behaviors. 2021 abs/2103.13268 CoRR https://arxiv.org/abs/2103.13268 db/journals/corr/corr2103.html#abs-2103-13268

Michele Colledanchise Giuseppe Cicala Daniele E. Domenichelli Lorenzo Natale Armando Tacchella Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies. 2021 abs/2106.12474 CoRR https://arxiv.org/abs/2106.12474 db/journals/corr/corr2106.html#abs-2106-12474

Michele Colledanchise Giuseppe Cicala Daniele E. Domenichelli Lorenzo Natale Armando Tacchella A Toolchain to Design, Execute, and Monitor Robots Behaviors. 2021 abs/2106.15211 CoRR https://arxiv.org/abs/2106.15211 db/journals/corr/corr2106.html#abs-2106-15211

Michele Colledanchise Lorenzo Natale On the Implementation of Behavior Trees in Robotics. 2021 abs/2106.15227 CoRR https://arxiv.org/abs/2106.15227 db/journals/corr/corr2106.html#abs-2106-15227

Evgenii Safronov Nicola A. Piga Michele Colledanchise Lorenzo Natale Active Perception for Ambiguous Objects Classification. 2021 abs/2108.00737 CoRR https://arxiv.org/abs/2108.00737 db/journals/corr/corr2108.html#abs-2108-00737

Michele Colledanchise Lorenzo Natale Handling Concurrency in Behavior Trees. 2021 abs/2110.11813 CoRR https://arxiv.org/abs/2110.11813 db/journals/corr/corr2110.html#abs-2110-11813

Evgenii Safronov Michele Colledanchise Lorenzo Natale Compact Belief State Representation for Task Planning. 747-754 2020 CASE https://doi.org/10.1109/CASE48305.2020.9216994 conf/case/2020 db/conf/case/case2020.html#SafronovCN20 Michele Colledanchise Damiano Malafronte Lorenzo Natale Act, Perceive, and Plan in Belief Space for Robot Localization. 3763-3769 2020 ICRA https://doi.org/10.1109/ICRA40945.2020.9197097 conf/icra/2020 db/conf/icra/icra2020.html#ColledanchiseMN20 Evgenii Safronov Michele Colledanchise Lorenzo Natale Task Planning with Belief Behavior Trees. 6870-6877 2020 IROS https://doi.org/10.1109/IROS45743.2020.9341562 conf/iros/2020 db/conf/iros/iros2020.html#SafronovCN20

Michele Colledanchise Damiano Malafronte Lorenzo Natale Act, Perceive, and Plan in Belief Space for Robot Localization. 2020 abs/2002.08124 CoRR https://arxiv.org/abs/2002.08124 db/journals/corr/corr2002.html#abs-2002-08124

Evgenii Safronov Michele Colledanchise Lorenzo Natale Task Planning with Belief Behavior Trees. 2020 abs/2008.09393 CoRR https://arxiv.org/abs/2008.09393 db/journals/corr/corr2008.html#abs-2008-09393

Evgenii Safronov Michele Colledanchise Lorenzo Natale Compact Belief State Representation for Task Planning. 2020 abs/2008.10386 CoRR https://arxiv.org/abs/2008.10386 db/journals/corr/corr2008.html#abs-2008-10386

Michele Colledanchise Ramviyas Parasuraman Petter Ögren Learning of Behavior Trees for Autonomous Agents. 183-189 2019 11 IEEE Trans. Games 2 https://doi.org/10.1109/TG.2018.2816806 db/journals/tciaig/tciaig11.html#ColledanchisePO19

Michele Colledanchise Diogo Almeida Petter Ögren Towards Blended Reactive Planning and Acting using Behavior Trees. 8839-8845 2019 ICRA https://doi.org/10.1109/ICRA.2019.8794128 conf/icra/2019 db/conf/icra/icra2019.html#ColledanchiseAO19 Michele Colledanchise Lorenzo Natale Analysis and Exploitation of Synchronized Parallel Executions in Behavior Trees. 6399-6406 2019 IROS https://doi.org/10.1109/IROS40897.2019.8967812 conf/iros/2019 db/conf/iros/iros2019.html#ColledanchiseN19 Eleonora Giunchiglia Michele Colledanchise Lorenzo Natale Armando Tacchella Conditional Behavior Trees: Definition, Executability, and Applications. 1899-1906 2019 SMC https://doi.org/10.1109/SMC.2019.8914358 conf/smc/2019 db/conf/smc/smc2019.html#GiunchigliaCNT19

Michele Colledanchise Lorenzo Natale Analysis and Exploitation of Synchronized Parallel Executions in Behavior Trees. 2019 abs/1908.01539 CoRR http://arxiv.org/abs/1908.01539 db/journals/corr/corr1908.html#abs-1908-01539

Michele Colledanchise Lorenzo Natale Improving the Parallel Execution of Behavior Trees. 7103-7110 2018 IROS https://doi.org/10.1109/IROS.2018.8593504 conf/iros/2018 db/conf/iros/iros2018.html#ColledanchiseN18

Michele Colledanchise Lorenzo Natale Improving the Parallel Execution of Behavior Trees. 2018 abs/1809.04898 CoRR http://arxiv.org/abs/1809.04898 db/journals/corr/corr1809.html#abs-1809-04898

Michele Colledanchise Behavior Trees in Robotics. 2017 Royal Institute of Technology, Stockholm, Sweden https://nbn-resolving.org/urn:nbn:se:kth:diva-202926 https://www.base-search.net/Record/aa36f26e74d9ad95e6a61d26f8cee7b07c00b0c47a26e1898905a562cac01074 base-search.net (ftkthstockholm:oai:DiVA.org:kth-202926) https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-202926

Michele Colledanchise Petter Ögren How Behavior Trees Modularize Hybrid Control Systems and Generalize Sequential Behavior Compositions, the Subsumption Architecture, and Decision Trees. 372-389 2017 33 IEEE Trans. Robotics 2 https://doi.org/10.1109/TRO.2016.2633567 db/journals/trob/trob33.html#ColledanchiseO17

Michele Colledanchise Richard M. Murray Petter Ögren Synthesis of correct-by-construction behavior trees. 6039-6046 2017 IROS https://doi.org/10.1109/IROS.2017.8206502 conf/iros/2017 db/conf/iros/iros2017.html#ColledanchiseMO17

Michele Colledanchise Petter Ögren Behavior Trees in Robotics and AI: An Introduction. 2017 abs/1709.00084 CoRR http://arxiv.org/abs/1709.00084 db/journals/corr/corr1709.html#abs-1709-00084

Michele Colledanchise Petter Ögren How Behavior Trees generalize the Teleo-Reactive paradigm and And-Or-Trees. 424-429 2016 IROS https://doi.org/10.1109/IROS.2016.7759089 conf/iros/2016 db/conf/iros/iros2016.html#ColledanchiseO16 Benson Christalin Michele Colledanchise Petter Ögren Richard M. Murray Synthesis of reactive control protocols for switch electrical power systems for commercial application with safety specifications. 1-8 2016 SSCI https://doi.org/10.1109/SSCI.2016.7849873 conf/ssci/2016 db/conf/ssci/ssci2016.html#ChristalinCOM16

Michele Colledanchise Diogo Almeida Petter Ögren Towards Blended Reactive Planning and Acting using Behavior Trees. 2016 abs/1611.00230 CoRR http://arxiv.org/abs/1611.00230 db/journals/corr/corr1611.html#ColledanchiseAO16

Michele Colledanchise Alejandro Marzinotto Dimos V. Dimarogonas Petter Ögren Adaptive Fault Tolerant Execution of Multi-Robot Missions using Behavior Trees. 2015 abs/1502.02960 CoRR http://arxiv.org/abs/1502.02960 db/journals/corr/corr1502.html#ColledanchiseMD15

Michele Colledanchise Ramviyas Parasuraman Petter Ögren Learning of Behavior Trees for Autonomous Agents. 2015 abs/1504.05811 CoRR http://arxiv.org/abs/1504.05811 db/journals/corr/corr1504.html#ColledanchisePO15

Michele Colledanchise Dimos V. Dimarogonas Petter Ögren Robot navigation under uncertainties using event based sampling. 1438-1445 2014 CDC https://doi.org/10.1109/CDC.2014.7039603 conf/cdc/2014 db/conf/cdc/cdc2014.html#ColledanchiseDO14 Michele Colledanchise Alejandro Marzinotto Petter Ögren Performance analysis of stochastic behavior trees. 3265-3272 2014 ICRA https://doi.org/10.1109/ICRA.2014.6907328 conf/icra/2014 db/conf/icra/icra2014.html#ColledanchiseMO14 Alejandro Marzinotto Michele Colledanchise Christian Smith Petter Ögren Towards a unified behavior trees framework for robot control. 5420-5427 2014 ICRA https://doi.org/10.1109/ICRA.2014.6907656 https://www.wikidata.org/entity/Q56410149 conf/icra/2014 db/conf/icra/icra2014.html#MarzinottoCSO14 Michele Colledanchise Petter Ögren How Behavior Trees modularize robustness and safety in hybrid systems. 1482-1488 2014 IROS https://doi.org/10.1109/IROS.2014.6942752 conf/iros/2014 db/conf/iros/iros2014.html#ColledanchiseO14 Michele Colledanchise Dimos V. Dimarogonas Petter Ögren Obstacle avoidance in formation using navigation-like functions and constraint based programming. 5234-5239 2013 IROS https://doi.org/10.1109/IROS.2013.6697113 conf/iros/2013 db/conf/iros/iros2013.html#ColledanchiseDO13 Diogo Almeida Stefano Bernagozzi Stefano Berti Fabrizio Bottarel Benson Christalin Giuseppe Cicala Dimos V. Dimarogonas Daniele DomenichelliDaniele E. Domenichelli Enrico Ghiorzi Eleonora Giunchiglia Damiano Malafronte Alejandro Marzinotto Richard M. Murray Lorenzo Natale Petter Ögren Ramviyas Parasuraman Nicola A. Piga Gianluca Piquet Andrea Rosasco Evgenii Safronov Christian Smith Armando Tacchella