Benjamin Andres
Benjamin Andres
Verifierad e-postadress på cs.uni-potsdam.de
Titel
Citeras av
Citeras av
År
Unsatisfiability-based optimization in clasp
B Andres, B Kaufmann, O Matheis, T Schaub
Technical Communications of the 28th International Conference on Logic …, 2012
782012
Combining task and motion planning: A culprit detection problem
F Lagriffoul, B Andres
The International Journal of Robotics Research 35 (8), 890-927, 2016
302016
Symbolic system synthesis using answer set programming
B Andres, M Gebser, T Schaub, C Haubelt, F Reimann, M Glaß
International Conference on Logic Programming and Nonmonotonic Reasoning, 79-91, 2013
202013
A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving
A Biewer, B Andres, J Gladigau, T Schaub, C Haubelt
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 357-362, 2015
172015
Integrating ASP into ROS for reasoning in robots
B Andres, D Rajaratnam, O Sabuncu, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning, 69-82, 2015
102015
Improving coordinated smt-based system synthesis by utilizing domain-specific heuristics
B Andres, A Biewer, J Romero, C Haubelt, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning, 55-68, 2015
42015
ROSoClingo: A ROS package for ASP-based robot control
B Andres, P Obermeier, O Sabuncu, T Schaub, D Rajaratnam
arXiv preprint arXiv:1307.7398, 2013
32013
A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP.
B Andres, M Gebser, T Schaub, C Haubelt, F Reimann, M Glaß
MBMV, 35-46, 2013
22013
Integrating ASP into ROS for reasoning in robots: Extended version
B Andres, D Rajaratnam, O Sabuncu, T Schaub
Unpublished draft, 2015
12015
Accurate computation of sensitizable paths using answer set programming
B Andres, M Sauer, M Gebser, T Schubert, B Becker, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning, 92-101, 2013
12013
Accurate computation of longest sensitizable paths using answer set programming
B Andres, M Sauer, M Gebser, T Schubert, B Becker, T Schaub
Sechste GMM/GI/ITG-Fachtagung für Zuverlässigkeit und Entwurf, ZuE 2012, 2012
12012
Application-driven architecture synthesis of on-chip Multiprocessor systems
C Bobda, P Mahr, B Andres, H Ishebabi
2010 International Conference on High Performance Computing & Simulation …, 2010
12010
Combining task and motion planning
F Lagriffoul, B Andres
2018
Prototyping and Evaluating Communication-Centric Multicore Systems
L Middendorf, B Andres, C Bobda
PinHaT–A Tool for the automatic generation of Multiprocessor Systems-on-Chip
B Andres, P Mahr, H Ishebabi, C Bobda
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–15