Pschlehuber
From LRDE
Philipp Schlehuber-Caissier
Post-Doctoral Researcher
Email: philipp[at]lrde.epita.fr
Office:
I am interested in using formal verification methods in the context of robotics. That is to automatically generate control strategies that are guaranteed to verify given constraints while accomplishing the task.
I joined the LRDE's verification team in october 2019, where I primarily work on a tool called Tchecker, a verification tool for timed automata developped within the ANR TickTac.