![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
Informace o projektu
Automatizovaná syntéza parametrov z temporálnych špecifikácií
(SYNPAR)
- Kód projektu
- MUNI/C/1017/2015
- Období řešení
- 1/2016 - 12/2016
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Grantová agentura MU
- DO R. 2020 - Program rektora
- Fakulta / Pracoviště MU
- Fakulta informatiky
Cieľom projektu je výzkum výpočtových metód a techník pre automatizované získavanie parametrov z hypotézy formulovanej v temporálnej logike. Hlavné
zameranie bude na vývoj nových metód a techník pre vysoko výkonné počítačom podporované hľadanie robustných parametrizácií modelu biologických systémov a ich overenie na modelovej prípadovej štúdií.