Prof. Roman Barták: Home

I am working in the area of Artificial Intelligence with particular emphasis on automated planning and scheduling, constraint satisfaction, knowledge representation, and machine learning. My research goal is to design intelligent autonomous agents (e.g. robots) that can plan their activities, do decisions, and act in real environment. I believe in a model-based approach, where agents can learn models (of environment and own capabilities) and use them to take decisions (plan activities, find what they do not know). As the models can be formally verified and validated and also presented to humans; this approach leads to trustful and reliable AI. I focus on a single agent behaviour as well as on coordination of multiple agents. The applications are in robotics, production and transportation environments, deep space and ocean missions, etc.