David Come

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 3

Top Topics

Representation Language

Closure Operator

Top Venues

Encycl. Semantic Comput. Robotic Intell.

University of Toulouse, France (PHD)

Education History

University of Toulouse, France

PHD

Publications

David Come, Julien Brunel, David Doose
Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic. IRC (2018)
David Come, Julien Brunel, David Doose
Source Code Analysis with a Temporal Extension of First-Order Logic. SBMF (2018)
David Come, Julien Brunel, David Doose
Improving code quality in ROS packages using a temporal extension of first-order logic. Encycl. Semantic Comput. Robotic Intell. 2 (1) (2018)