VESCAA: Verifikovatelná a efektivní syntéza kontrolerů pro autonomní agenty

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

SGA0202300001

Hlavní účastníci

Vysoké učení technické v Brně / Fakulta informačních technologií

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

23-06963S

Název projektu anglicky

VESCAA: Verifiable and Efficient Synthesis of Controllers for Autonomous Agents

Anotace anglicky

Modern computing systems can be seen as (semi)-autonomous agents interacting with their environment. The agent's behaviour is determined by a controller that needs to deal with uncertainties such as unpredictability of the environment and the imprecision of data gathered about its current state. Existing approaches to automated controller design exhibit the safety-scalability gap: either they lack scalability, which limits the complexity of the problems that can be handled, or they lack guarantees that the agent operates in a safe and interpretable way. There are two principal approaches: formal methods prioritise safety and reinforcement learning prioritises scalability. The project aims to develop theoretical foundations and synthesis algorithms that reduce this gap and thus improve applicability of automated controller design. The key idea is to adapt, further develop, and synergically integrate two emerging paradigms: inductive synthesis (improving the scalability of correct-by-construction design techniques) and risk-aware learning (improving the safety guarantees).

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

OECD FORD - vedlejší obor

—

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika

Zahájení řešení

1. 3. 2023

Ukončení řešení

31. 12. 2025

Poslední stav řešení

K - Končící víceletý projekt

Poslední uvolnění podpory

29. 2. 2024

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP25-GA0-GA-R

Datum dodání záznamu

21. 2. 2025

Celkové uznané náklady

11 529 tis. Kč

Výše podpory ze státního rozpočtu

9 941 tis. Kč

Ostatní veřejné zdroje financování

1 497 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč