The FALSA model problem is a software that simulates an autonomous drone mission and its intended use is for research in assurance. - View it on GitHub