Login / Signup
Lanssie Mingyue Ma
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 4
Top Topics
Long Range Interactions
Human Robot Interaction
Formal Methods
Spatio Temporal
Top Venues
CoRR
Innov. Syst. Softw. Eng.
ACM Trans. Hum. Robot Interact.
FSR
</>
Publications
</>
Shreyansh Daftry
,
Zhanlin Chen
,
Yang Cheng
,
Scott Tepsuporn
,
Brian Coltin
,
Ussama Naam
,
Lanssie Mingyue Ma
,
Shehryar Khattak
,
Matthew Deans
,
Larry H. Matthies
LunarNav: Crater-based Localization for Long-range Autonomous Lunar Rover Navigation.
CoRR
(2023)
Lanssie Mingyue Ma
,
Martijn IJtsma
,
Karen M. Feigh
,
Amy R. Pritchett
Metrics for Human-Robot Team Design: A Teamwork Perspective on Evaluation of Human-Robot Teams.
ACM Trans. Hum. Robot Interact.
11 (3) (2022)
Adam Houser
,
Lanssie Mingyue Ma
,
Karen M. Feigh
,
Matthew L. Bolton
Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios.
Innov. Syst. Softw. Eng.
14 (1) (2018)
Lanssie Mingyue Ma
,
Terrence Fong
,
Mark J. Micire
,
Yunkyung Kim
,
Karen M. Feigh
Human-Robot Teaming: Concepts and Components for Design.
FSR
(2017)