2 papers
cs.RO2020
Using Taint Analysis and Reinforcement Learning (TARL) to Repair Autonomous Robot Software
D. M. Lyons, S. Zahra
It is important to be able to establish formal performance bounds for autonomous systems. However, formal verification techniques require a model of the environment in which the sy…
cs.SE2019
Towards Lakosian Multilingual Software Design Principles
Damian M. Lyons, Saba B. Zahra, Thomas M. Marshall
Large software systems often comprise programs written in different programming languages. In the case when cross-language interoperability is accomplished with a Foreign Function…