no code implementations • 20 Feb 2023 • Andrew Sogokon, Burak Yuksek, Gokhan Inalhan, Neeraj Suri
Specifying the intended behaviour of autonomous systems is becoming increasingly important but is fraught with many challenges.