Felix Lindner

2 papers · 2019–2021 · 1 conference · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (14) 🚀 Conference Pioneer

Conferences

AAAI (2)

Top co-authors

Martin Mose Bentzen (1) Bernhard Nebel (1) Michael Fisher (1) Robert Mattmüller (1) Louise A. Dennis (1)

Keywords

automated planning (1) ethical judgment (1) computational complexity (1) formal verification (1) model checking (1) autonomous system (1) classical planning (1) action planning (1) context-aware system (1) ethical reasoning (1) machine ethics (1) action plan (1) plan evaluation (1)

Papers

Verifiable Machine Ethics in Changing Contexts AAAI 2021

Moral Permissibility of Action Plans AAAI 2019