Benjamin Andres

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 4

Top Topics

Subsumption Architecture

Answer Set Programming

Causal Theories

Top Venues

Int. J. Robotics Res.

Publications

Fabien Lagriffoul, Benjamin Andres
Combining task and motion planning: A culprit detection problem. Int. J. Robotics Res. 35 (8) (2016)
Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub
Integrating ASP into ROS for Reasoning in Robots. LPNMR (2015)
Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub
Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. LPNMR (2015)
Alexander Biewer, Benjamin Andres, Jens Gladigau, Torsten Schaub, Christian Haubelt
A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. DATE (2015)
Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub
Accurate Computation of Sensitizable Paths Using Answer Set Programming. LPNMR (2013)
Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß
A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. MBMV (2013)
Benjamin Andres, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, David Rajaratnam
ROSoClingo: A ROS package for ASP-based robot control. CoRR (2013)
Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß
Symbolic System Synthesis Using Answer Set Programming. LPNMR (2013)
Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, Torsten Schaub
Unsatisfiability-based optimization in clasp. ICLP (Technical Communications) (2012)
Christophe Bobda, Philipp Mahr, Benjamin Andres, Harold Ishebabi
Application-driven architecture synthesis of on-chip Multiprocessor systems. HPCS (2010)