User

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.