Temporal logic control for an autonomous quadrotor in a nondeterministic environment. - Alphan Ulusoy; Michael Marrazzo; Konstantinos Oikonomopoulos; Ryan Hunter; Calin Belta (ICRA, 2013)

An Alternative Programming Paradigm for Blocks-Based Languages. - Hüseyin Ergin; Jeff Gray 001; Ryan Hunter (J. Comput. Sci. Coll., 2023)