Login / Signup
Francisco Rodrigues Júnior
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Robotic Systems
Collective Behavior
Imitation Learning
Formal Verification
Top Venues
Formal Aspects Comput.
</>
Publications
</>
James Baxter
,
Gustavo Carvalho
,
Ana Cavalcanti
,
Francisco Rodrigues Júnior
RoboWorld: Verification of Robotic Systems with Environment in the Loop.
Formal Aspects Comput.
35 (4) (2023)