Autonomous mobile robots can carry out tasks in environments that are unsafe or otherwise unsuitable for humans. The robots' missions in such environments range from remote facilities inspections to searching for survivors in the collapsed buildings or caves. Our models were also deployed on a tracked robot during the DARPA Subterranean Challenge.
The CTU team secured first place in the latest round which grants them direct advancement to the finals of this international competition focused on trusted AI. The winners will be announced at the end of July 2025.
Jakub Mareček’s LION 19 keynote presents a framework for reasoning about repeated uses of AI systems and the new Interconnect toolkit for long-run properties therein.
For the second year in a row, our popular online course is open to the public. The 14-week course begins in September 2025 and is now also available to industry professionals seeking an EU microcertificate.
