Revision as of 22:37, 15 December 2019 by Philipp Schlehuber (talk | contribs) (Created page with "<big>'''Philipp Schlehuber-Caissier'''</big><br> Post-Doctoral Researcher '''Email: '''philipp[at]<br> '''Office: ''' I am interested in using formal verificati...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Philipp Schlehuber-Caissier
Post-Doctoral Researcher

Email: philipp[at]

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.