Concise Models for Efficient Reasoning
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
SGA0202600001
Main participants
Masarykova univerzita / Fakulta informatiky
Contest type
VS - Public tender
Contract ID
26-22640S
Alternative language
Project name in Czech
Concise Models for Efficient Reasoning
Annotation in Czech
Automata over finite or infinite words and binary decision diagrams (BDDs) are ubiquitous in modern computer science, providing robust foundations for applications in automated reasoning, verification, information processing, etc. Applications based on these models usually largely benefit when the handled automata or BDDs are small, reducing memory requirements and improving the runtime of their processing. Recently, compact representations of automata based on extensions of the basic models started appearing, often in an ad hoc manner relevant for particular applications, with many basic questions unanswered and their full potential unexplored. One goal of the project is to fill the gap by designing novel, practically relevant, concise kinds of automata and algorithms for their efficient manipulation, and applications based on these automata. The second goal is to reduce the size of manipulated BDDs by combining them with approximative reasoning. By achieving these goals, the project aims to push the applicability and scalability of automata- and BDD-based tools to a new level.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AF - Documentation, librarianship, work with information<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics
Solution timeline
Realization period - beginning
Jan 1, 2026
Realization period - end
Dec 31, 2028
Project status
Z - Beginning multi-year project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP26-GA0-GA-R
Data delivery date
Jun 18, 2026
Finance
Total approved costs
14,946 thou. CZK
Public financial support
11,970 thou. CZK
Other public sources
2,976 thou. CZK
Non public and foreign sources
0 thou. CZK