Verifiable Autonomous Systems Using Rational Agents to Provide Assurance about Decisions Made by Machines Dennis, Louise A. Innbundet / 2023 / Engelsk
Engineering Multi-Agent Systems 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers Dennis, Louise A. Heftet / 2020 / Engelsk