Skip to content

@VerifiableRobotics Verifiable Robotics

@kalaiselvan-t
Kalaiselvan kalaiselvan-t
Autonomous Systems | Robotics | Machine Learning - Graduate Student @ TU Berlin | UniTn

Germany

@santoshchaganti
shiroyasha santoshchaganti
@Peach-CN
Peach_CN Peach-CN
@Murplugg
Murplugg
@roveri-marco
Marco Roveri roveri-marco
@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@haz
Christian Muise haz

Queen's University Kingston, Ontario, Canada

@robinlin99
Robin (Zihao) Lin robinlin99