Project detail

Honeywell - SMT solving numerických modelů pracujících s řetězci

Duration: 1.7.2026 — 31.8.2026

Funding resources

Neveřejný sektor - Přímé kontrakty - smluvní výzkum, neveřejné zdroje

Default language

Czech

People responsible

Holík Lukáš, doc. Mgr., Ph.D. - principal person responsible
Kocourek Tomáš, Ing. - fellow researcher

Units

Department of Intelligent Systems
- responsible department (28.7.2026 - not assigned)

Responsibility: Holík Lukáš, doc. Mgr., Ph.D.