Login / Signup

Marcos S. Pereira

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Bounded Model Checking
Temporally Extended Goals
Dynamic Constraints
Motion Control

Top Venues

IROS
Publications