Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Hai Zhu
Dan Graur
Lining Xing
Barbara Aquilani
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
P Lebègue
Home
/
Author
/
FRANCESCO LEOFANTE
Author Info
Open Visualization
Name
Affiliation
Papers
FRANCESCO LEOFANTE
Univ Genoa, DIBRIS, Via Opera Pia 13, I-16145 Genoa, Italy
16
Collaborators
Citations
PageRank
20
16
5.71
Referers
Referees
References
31
163
85
Search Limit
100
163
Publications (16 rows)
Collaborators (20 rows)
Referers (31 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Robot Swarms as Hybrid Systems: Modelling and Verification.
0
0.34
2021
Optimal Planning Modulo Theories
0
0.34
2020
SMT-based Planning for Robots in Smart Factories.
0
0.34
2019
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems
0
0.34
2019
Verification and Repair of Neural Networks - a Progress Report on Convolutional Models.
0
0.34
2019
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics
2
0.38
2019
Repairing Learned Controllers with Convex Optimization: A Case Study.
0
0.34
2019
Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back).
1
0.35
2018
Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories.
2
0.37
2018
Task Planning With Omt: An Application To Production Logistics
0
0.34
2018
Automated Verification of Neural Networks: Advances, Challenges and Perspectives.
3
0.37
2018
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories
4
0.41
2017
Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics.
0
0.34
2016
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.
3
0.43
2016
Learning with Safety Requirements: State of the Art and Open Questions.
0
0.34
2016
Learning in Physical Domains: Mating Safety Requirements and Costly Sampling.
1
0.37
2016
1
