Lukas König

26 papers A 1C 1Misc 1Journal 9Unranked 11
YearRankTypeTitle / Venue / Authors
2026 — conf
Driving by Disproof: A Practical Model Checking Approach to Fleet Coordination.
TACAS (1)
Lukas König, Christian Schildwächter, Michaela Klauck, Christian Heinzemann
2026 J jnl
Training event-based neural networks with exact gradients via Differentiable ODE Solving in JAX.
CoRR
Lukas König, Manuel Kuhn, David Kappel, Anand Subramoney
2024 A conf
Agent-Agnostic Centralized Training for Decentralized Multi-Agent Cooperative Driving.
IROS
Shengchao Yan, Lukas König, Wolfram Burgard
2024 J jnl
Asynchronous Stochastic Gradient Descent with Decoupled Backpropagation and Layer-Wise Updates.
CoRR
Cabrel Teguemne Fokam, Khaleelulla Khan Nazeer, Lukas König, David Kappel, Anand Subramoney
2024 J jnl
Distributed Information Security Auditing Using Blockchains .
ERCIM News
Lukas König, Martin Pirker, Simon Tjoa, Peter Kieseberg
2024 J jnl
Single-Agent Actor Critic for Decentralized Cooperative Driving.
CoRR
Shengchao Yan, Lukas König, Wolfram Burgard
2024 — conf
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development.
TACAS (2)
Lukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann
2023 J jnl
Building a Knowledge Graph of Distributed Ledger Technologies.
CoRR
Lukas König, Sebastian Neumaier
2023 C conf
DISA - A Blockchain-Based Distributed Information Security Audit.
iiWAS
Lukas König, Martin Pirker, Herfried Geyer, Michael Feldmann, Simon Tjoa, Peter Kieseberg
2022 — conf
A Design Thinking Approach on Information Security.
AINA (2)
Lukas König, Simon Tjoa
2020 J jnl
Comparing Blockchain Standards and Recommendations.
Future Internet
Lukas König, Yuliia Korobeinikova, Simon Tjoa, Peter Kieseberg
2020 J jnl
The Risks of the Blockchain A Review on Current Vulnerabilities and Attacks.
J. Internet Serv. Inf. Secur.
Lukas König, Stefan Unger, Peter Kieseberg, Simon Tjoa
2018 J jnl
A generic user interface for energy management in smart homes.
Energy Inform.
Huiwen Xu, Lukas König, Doris Cáliz, Hartmut Schmeck
2016 — conf
Stigmergy-Based Scheduling of Flexible Loads.
EvoApplications (1)
Fredy Hernan Rios Silva, Lukas König, Hartmut Schmeck
2016 — book
Theoretische Informatik - ganz praktisch.
Lukas König, Friederike Pfeiffer-Bohnen, Hartmut Schmeck
2015 — —
Complex behaviour in evolutionary robotics.
Lukas König
2015 — ed.
Energy Informatics - 4th D-A-CH Conference, EI 2015, Karlsruhe, Germany, November 12-13, 2015, Proceedings
D-A-CH EI
Sebastian Gottwalt, Lukas König, Hartmut Schmeck
2012 Misc conf
Introducing the simulation plugin interface and the EAS framework with comparison to two state-of-the-art agent simulation frameworks.
WSC
Lukas König, Daniel Pathmaperuma, Felix Vogel, Hartmut Schmeck
2011 — conf
A Markov-chain-based Model for Success Prediction of Evolution in Complex Environments.
IJCCI (ECTA-FCTA)
Lukas König, Sanaz Mostaghim, Hartmut Schmeck
2010 — conf
Age based controller stabilization in Evolutionary Robotics.
NaBIC
Sabrina Merkel, Lukas König, Hartmut Schmeck
2010 — conf
Evolvability in Evolutionary Robotics: Evolving the Genotype-Phenotype Mapping.
SASO
Lukas König, Hartmut Schmeck
2009 — conf
A Completely Evolvable Genotype-Phenotype Mapping for Evolutionary Robotics.
SASO
Lukas König, Hartmut Schmeck
2009 J jnl
Decentralized evolution of robotic behavior using finite state machines.
Int. J. Intell. Comput. Cybern.
Lukas König, Sanaz Mostaghim, Hartmut Schmeck
2009 — conf
Online and onboard evolution of robotic behavior using finite state machines.
AAMAS (2)
Lukas König, Sanaz Mostaghim, Hartmut Schmeck
2008 — conf
Evolving Collision Avoidance on Autonomous Robots.
BICC
Lukas König, Hartmut Schmeck
2008 — conf
Stability of On-Line and On-Board Evolving of Adaptive Collective Behavior.
EUROS
Lukas König, Kristof Jebens, Serge Kernbach, Paul Levi