Institute of Software — China
Computer Science · Physical Sciences
5h-index103citations28works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Testing and Debugging Techniques(6), Formal Methods in Verification(5), AI-based Problem Solving and Planning(5), Logic, Reasoning, and Knowledge(5), Advanced Manufacturing and Logistics Optimization(5)
Publications28 total
TUGraz OPEN Library (Graz University of Technology)·2020· 1 citedOpen Access
TUGraz OPEN Library (Graz University of Technology)·2020Open Access
TUGraz OPEN Library (Graz University of Technology)·2020Open Access
TUGraz OPEN Library (Graz University of Technology)·2020Open Access
2018· 26 cited
Kalpa publications in computing·2018· 18 citedOpen Access
Mechanisms and machine science·2017· 1 cited
Mechanisms and machine science·2017· 1 cited
Adaptive Agents and Multi-Agents Systems·2017· 2 cited
Model-Based Testing of an Industrial Multi-Robot Navigation System (Extended Abstract)
Adaptive Agents and Multi-Agents Systems·2017
Hierarchical Planning with Traffic Zones for a Team of Industrial Transport Robots
2016· 3 cited
Hands Off - A Holistic Model-Based Approach for Long-Term Autonomy
2016· 3 cited
RoboCup Logistics League TDP Graz Robust and Intelligent Production System GRIPS
Robot Soccer World Cup·2016
Lecture notes in computer science·2016· 16 cited
Belief Management using the Action History and Consistency-Based-Diagnosis
2016· 1 cited
Advances in intelligent systems and computing·2015
page 1 of 2Next →
Frequent Co-authors
Gerald Steinbauer(27), Stephan Gspandl(8), Michael Reip(8), Stefan Gspandl(4), Micheal Reip(4), Stefan Loigge(3), Konstantin Lassnig(2), Alexander Ferrein(2), Christopher Maier(2), Stavros Vassos(2), Marco Wallner(2), Thomas Ulz(2), Alexander Buchegger(1), Yannick Pencolé(1), Louise Travé-Massuyès(1), Tim Niemueller(1), Simon Josef Außerlechner(1), Sandra Fruhmann(1), Wolfgang Wieser(1), Birgit Hofer(1)