Automated Reasoning Group

at the AI Department of CIIRC at CTU in Prague

Projects

Find more info on the web of our group.