Pschlehuber
From LRDE
Revision as of 23:37, 15 December 2019 by Philipp Schlehuber (talk | contribs) (Created page with "<big>'''Philipp Schlehuber-Caissier'''</big><br> Post-Doctoral Researcher '''Email: '''philipp[at]lrde.epita.fr<br> '''Office: ''' I am interested in using formal verificati...")
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.