- leofante at cs.rwth-aachen.de
- +49 241 80 21243
- Room 4228
Adaptive robotic systems are becoming more and more prevalent in our society. In order for these systems to be adopted in everyday life they must be deemed safe, however, adaptivity and safety are two conflicting propositions.
Safety can be easily increased by limiting automatic reconfiguration, while changing internal parameters during operation may yield unsafe control policies.
The vision behind my research is that the trade-off between safety and adaptivity could be reduced substantially by resorting to model-based design techniques and formal methods.
The research question is thus whether verification techniques conceived for non-adaptive systems, can be borrowed and/or extended to verify real-world robotic systems.
I am currently involved in the following project(s):
|Tim Niemueller, Gerhard Lakemeyer, Francesco Leofante, Erika Abraham. Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization. 5th Workshop on Planning and Robotics at ICAPS, , 2017.|
|Francesco Leofante, Erika Abraham, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella. On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. 2017 IEEE International Conference on Information Reuse and Integration, IRI 2017, San Diego, CA, USA, August 4-6, 2017, pages 403–410, IEEE Computer Society, 2017.|
|Francesco Leofante. Robust AI via Verification, Monitoring and Repair, Invited talk at PUMA research training group at Chair for Foundations of Software Reliability and Theoretical Computer Science, Technical University of Munich, Germany, 2017.|
|Francesco Leofante. Optimizing the Performance of Robot Fleets in Production Logistics Scenarios Using SMT Solving, ICT Foundations of Digitized Industry, Economy, and Society Workshop at RWTH Aachen University, Aachen, Germany, 2017.|
|Francesco Leofante. On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories, Talk at 18th IEEE International Conference on Information Reuse and Integration, San Diego, USA, 2017.|
|Francesco Leofante. Are You Doing What I Think You Are Doing? Optimal Controllers and Beyond, Talk at Israel Institute for Advanced Studies, Jerusalem, 2017.|
|Erika Abraham, Francesco Leofante. Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots, Invited talk at the 7th International Symposium on Leveraging Applications of Formal Methods (ISoLA'16), Verification and Validation, Corfu, Greece, 2016.|