| 2026 | TACAS | Driving by Disproof: A Practical Model Checking Approach to Fleet Coordination. | Lukas Knig, Christian Schildwchter, Michaela Klauck, Christian Heinzemann |
| 2024 | IROS | Agent-Agnostic Centralized Training for Decentralized Multi-Agent Cooperative Driving. | Shengchao Yan, Lukas Knig, Wolfram Burgard |
| 2024 | TACAS | Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. | Lukas Knig, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Kperkoch, Dennis Fassbender, Michael Hanselmann |
| 2023 | IIWAS | DISA - A Blockchain-Based Distributed Information Security Audit. | Lukas Knig, Martin Pirker, Herfried Geyer, Michael Feldmann, Simon Tjoa, Peter Kieseberg |
| 2022 | AINA | A Design Thinking Approach on Information Security. | Lukas Knig, Simon Tjoa |
| 2012 | WSC | Introducing the simulation plugin interface and the EAS framework with comparison to two state-of-the-art agent simulation frameworks. | Lukas Knig, Daniel Pathmaperuma, Felix Vogel, Hartmut Schmeck |
| 2011 | IJCCI | A Markov-chain-based Model for Success Prediction of Evolution in Complex Environments. | Lukas Knig, Sanaz Mostaghim, Hartmut Schmeck |