Michael Bolender
According to our database1,
Michael Bolender
authored at least 2 papers
between 2018 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the American Control Conference, 2022
2018
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018