Search results for: Stefan Edelkamp
Computer Animation and Virtual Worlds > 29 > 6 > n/a - n/a
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 5 > 515-528
Theory of Computing Systems > 2017 > 61 > 2 > 606-636
IEEE Robotics and Automation Letters > 2017 > 2 > 2 > 428 - 435
Artificial Intelligence > 2017 > 242 > C > 52-79
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Model Checking > 313-329
Lecture Notes in Computer Science > KI 2009: Advances in Artificial Intelligence > Planning and Scheduling > 33-40
Lecture Notes in Computer Science > KI 2007: Advances in Artificial Intelligence > Posters > 444-447
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 145-159
Lecture Notes in Computer Science > KI 2001: Advances in Artificial Intelligence > Papers on Foundations > 169-184
Lecture Notes in Computer Science > STACS 2000 > 254-266