( en | de | ru )

 

Disambiguierung von "Leofante, Francesco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems.

, , , und . ECMS, Seite 407-413. European Council for Modeling and Simulation, (2019)Communications of the ECMS, Volume 33, Issue 1, June 2019.

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Francesco Bettella

Protein secondary structure prediction using optimized scoring functions: a comparative statistical method. FU Berlin, (2009)

Francesco Pinosa

Francesco Solimena

Francesco Parrino

Francesco Vetere

 

Weitere Publikationen von Autoren mit dem selben Namen

Repairing misclassifications in neural networks using limited data., , und . SAC, Seite 1031-1038. ACM, (2022)Optimal Planning Modulo Theories., , , und . IJCAI, Seite 4128-4134. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Robot Swarms as Hybrid Systems: Modelling and Verification., , , , und . SNR, Volume 361 von EPTCS, Seite 61-77. (2021)Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics., , , , und . Inf. Syst. Frontiers, 21 (1): 87-107 (2019)Counterfactual Explanations and Model Multiplicity: a Relational Verification View., , und . KR, Seite 763-768. (2023)Verification of Semantic Key Point Detection for Aircraft Pose Estimation., , , , , und . KR, Seite 757-762. (2023)Promoting Counterfactual Robustness through Diversity., und . AAAI, Seite 21322-21330. AAAI Press, (2024)ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , , , , und . ARCH, Volume 74 von EPiC Series in Computing, Seite 107-139. EasyChair, (2020)Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back).. IJCAI, Seite 5771-5772. ijcai.org, (2018)Verification of Neural Networks: Enhancing Scalability Through Pruning., , , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 2505-2512. IOS Press, (2020)