Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Accurate Computation of Sensitizable Paths Using Answer Set Programming.

B. Andres, M. Sauer, M. Gebser, T. Schubert, B. Becker, and T. Schaub. LPNMR, volume 8148 of Lecture Notes in Computer Science, page 92-101. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. -Ing. Andrés Bruhn University of Stuttgart

Benjamin Rothaupt

Dr. phil. Benjamin Holfelder University of Stuttgart

Benjamin Bursik University of Stuttgart

Benjamin Kaiser University of Stuttgart

Other publications of authors with the same name

A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving.A. Biewer, B. Andres, J. Gladigau, T. Schaub, and C. Haubelt. DATE, page 357-362. ACM, (2015)Unsatisfiability-based optimization in clasp.B. Andres, B. Kaufmann, O. Matheis, and T. Schaub. ICLP (Technical Communications), volume 17 of LIPIcs, page 211-221. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2012)Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics.B. Andres, A. Biewer, J. Romero, C. Haubelt, and T. Schaub. LPNMR, volume 9345 of Lecture Notes in Computer Science, page 55-68. Springer, (2015)A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP.B. Andres, M. Gebser, T. Schaub, C. Haubelt, F. Reimann, and M. Glaß. MBMV, page 35-46. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, (2013)Integrating ASP into ROS for Reasoning in Robots.B. Andres, D. Rajaratnam, O. Sabuncu, and T. Schaub. LPNMR, volume 9345 of Lecture Notes in Computer Science, page 69-82. Springer, (2015)Application-driven architecture synthesis of on-chip Multiprocessor systems.C. Bobda, P. Mahr, B. Andres, and H. Ishebabi. HPCS, page 591-598. IEEE, (2010)Symbolic System Synthesis Using Answer Set Programming.B. Andres, M. Gebser, T. Schaub, C. Haubelt, F. Reimann, and M. Glaß. LPNMR, volume 8148 of Lecture Notes in Computer Science, page 79-91. Springer, (2013)ROSoClingo: A ROS package for ASP-based robot control.B. Andres, P. Obermeier, O. Sabuncu, T. Schaub, and D. Rajaratnam. CoRR, (2013)Combining task and motion planning: A culprit detection problem.F. Lagriffoul, and B. Andres. I. J. Robotics Res., 35 (8): 890-927 (2016)Accurate Computation of Sensitizable Paths Using Answer Set Programming.B. Andres, M. Sauer, M. Gebser, T. Schubert, B. Becker, and T. Schaub. LPNMR, volume 8148 of Lecture Notes in Computer Science, page 92-101. Springer, (2013)