Login / Signup
Philippe Ledent
Publication Activity (10 Years)
Years Active: 2013-2024
Publications (10 Years): 3
Top Topics
Resource Usage
Formal Model
Predicate Calculus
Grand Challenge
Top Venues
MARS@ETAPS
J. Intell. Robotic Syst.
CIS/RAM
</>
Publications
</>