Sign in
Lanssie Mingyue Ma
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 3
Top Topics
Formal Methods
Position Information
Dead Reckoning
Long Range Correlations
Top Venues
CoRR
Innov. Syst. Softw. Eng.
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)
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)