Login / Signup
Emiko Soroka
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Trajectory Planning
Sat Solvers
Robot Manipulators
Modulo Theories
Top Venues
CoRR
CCTA
</>
Publications
</>
Emiko Soroka
,
Mykel J. Kochenderfer
,
Sanjay Lall
Satisfiability.jl: Satisfiability Modulo Theories in Julia.
CoRR
(2023)
Emiko Soroka
,
Sanjay Lall
Designing a Hardware-Agnostic Interface Between Route and Trajectory Planning in Self-Driving Cars.
CCTA
(2022)