Aerospace

Airplane and space systems.
forum

Visible to the public CfP: NASA Formal Methods Symposium 2023

CALL FOR PAPERS

NASA Formal Methods Symposium 2023

Important Dates AoE (UTC-12h)

forum

Visible to the public Multiple PhD positions in CPS cyber-security and robotics at UVA

Multiple PhD positions in cyber-physical systems security and robotics safe planning are available at the University of Virginia (UVA) Autonomous Mobile Robots Laboratory (https://www.bezzorobotics.com/).

Research areas: