Benjamin Andres

According to our database, Benjamin Andres authored at least 10 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Combining task and motion planning: A culprit detection problem.

Fabien Lagriffoul, Benjamin Andres

Int. J. Robotics Res., 2016

2015

Integrating ASP into ROS for Reasoning in Robots.

Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics.

Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving.

Alexander Biewer, Benjamin Andres, Jens Gladigau, Torsten Schaub, Christian Haubelt

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2013

ROSoClingo: A ROS package for ASP-based robot control.

Benjamin Andres, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, David Rajaratnam

CoRR, 2013

A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP.

Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

Accurate Computation of Sensitizable Paths Using Answer Set Programming.

Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Symbolic System Synthesis Using Answer Set Programming.

Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012

Unsatisfiability-based optimization in clasp.

Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, Torsten Schaub

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2010

Application-driven architecture synthesis of on-chip Multiprocessor systems.

Christophe Bobda, Philipp Mahr, Benjamin Andres, Harold Ishebabi

Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010