C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
James Goppert
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 7
Top Topics
Computation Tree Logic
Model Checking
Robot Soccer
Formal Verification
Top Venues
CoRR
RiTA
ACC
J. Aerosp. Inf. Syst.
</>
Publications
</>
Shiraz Khan
,
Inseok Hwang
,
James Goppert
Exploiting Sparsity for Localization of Large-Scale Wireless Sensor Networks.
CoRR
(2023)
James Goppert
,
Li-Yu Lin
,
Kartik Anand Pant
,
Benjamin M. Perseghetti
A Closed-form Solution for the Strapdown Inertial Navigation Initial Value Problem.
CoRR
(2023)
Shiraz Khan
,
Inseok Hwang
,
James Goppert
Robust State Estimation in the Presence of Stealthy Cyberattacks.
ACC
(2022)
Li-Yu Lin
,
James Goppert
,
Inseok Hwang
Correct-by-Construction Control Design for Mixed-Invariant Systems in Lie Groups.
CoRR
(2022)
James Goppert
,
Scott Yantek
,
Inseok Hwang
Invariant Kalman filter application to optical flow based visual odometry for UAVs.
ICUFN
(2017)
John C. Gallagher
,
Eric T. Matson
,
James Goppert
A Provisional Approach to Maintaining Verification and Validation Capability in Self-Adapting Robots.
IRC
(2017)
Mauricio Gomez
,
Yongho Kim
,
James Goppert
,
Eric T. Matson
Using Online Model Checking Technique for Survivability, Evaluating Different Scenarios on Runtime.
FNC/MobiSPC
(2016)
Yongho Kim
,
Mauricio Gomez
,
James Goppert
,
Eric T. Matson
Model Checking of a Training System Using NuSMV for Humanoid Robot Soccer.
RiTA
(2014)
James Goppert
,
Andrew Shull
,
Nandagopal Sathyamoorthy
,
Weiyi Liu
,
Inseok Hwang
,
Hal Aldridge
Software/Hardware-in-the-Loop Analysis of Cyberattacks on Unmanned Aerial Systems.
J. Aerosp. Inf. Syst.
11 (5) (2014)
James Goppert
,
John C. Gallagher
,
Inseok Hwang
,
Eric T. Matson
Model Checking of a Flapping-Wing Mirco-Air-Vehicle Trajectory Tracking Controller Subject to Disturbances.
RiTA
(2013)
James Goppert
,
Nathanael Xie Wenyao
,
Inseok Hwang
ArduPilotOne: Extending the Capabilities of the Open-Source ArduPilotMega Autopilot System.
Infotech@Aerospace
(2012)
Alan Kim
,
Brandon Wampler
,
James Goppert
,
Inseok Hwang
,
Hal Aldridge
Cyber Attack Vulnerabilities Analysis for Unmanned Aerial Vehicles.
Infotech@Aerospace
(2012)
James Goppert
,
Weiyi Liu
,
Andrew Shull
,
Vincent Sciandra
,
Inseok Hwang
,
Hal Aldridge
Numerical Analysis of Cyberattacks on Unmanned Aerial Systems.
Infotech@Aerospace
(2012)