Følg
Benjamin Andres
Benjamin Andres
Verifisert e-postadresse på cs.uni-potsdam.de
Tittel
Sitert av
Sitert 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
1212012
Combining task and motion planning: A culprit detection problem
F Lagriffoul, B Andres
The International Journal of Robotics Research 35 (8), 890-927, 2016
512016
Symbolic system synthesis using answer set programming
B Andres, M Gebser, T Schaub, C Haubelt, F Reimann, M Glaß
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
252013
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
222015
Integrating ASP into ROS for reasoning in robots
B Andres, D Rajaratnam, O Sabuncu, T Schaub
Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015
182015
Improving coordinated smt-based system synthesis by utilizing domain-specific heuristics
B Andres, A Biewer, J Romero, C Haubelt, T Schaub
Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015
82015
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
62013
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
32013
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
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 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
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 ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–14