Login / Signup
Minxuan Liu
Publication Activity (10 Years)
Years Active: 2005-2023
Publications (10 Years): 3
Top Topics
Model Checking
Autonomous Vehicles
Visual Navigation
Robot Control
Top Venues
J. Vis. Lang. Comput.
QRS Companion
DMSVIVA
</>
Publications
</>
Dang Duy Bui
,
Minxuan Liu
,
Duong Ding Tran
,
Kazuhiro Ogata
Graphical Animations of an Autonomous Vehicle Merging Protocol.
J. Vis. Lang. Comput.
2023 (1) (2023)
Minxuan Liu
,
Kazuhiro Ogata
,
Dang Duy Bui
Graphical Animations of an Autonomous Vehicle Merging Protocol.
DMSVIVA
(2022)
Minxuan Liu
,
Dang Duy Bui
,
Duong Dinh Tran
,
Kazuhiro Ogata
Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol.
QRS Companion
(2021)
Sripriya R. Bandi
,
Clyde Washburn
,
P. R. Mukund
,
Jan Kolnik
,
Minxuan Liu
,
Ken Paradis
,
Steve Howard
,
Jeff Burleson
Accurate performance prediction of multi-GHz CML with data run-length variations.
ISCAS (5)
(2005)