Browsing Disertační práce - 18000 by Subject "vestavné systémy"
Now showing items 1-1 of 1
-
Booleovská splnitelnost modulo simulace diferenciálních rovnic
; Supervisor: Ratschan Stefan; Opponent: Fränzle Martin
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-24)SAT řešiče se ukázaly jako vhodné nástroje v oblasti plánování a formální verifikace. Nicméně, kromě Booleovských omezení je často důležité modelovat také spojité jevy, k čemuž jsou nesmírně důležité diferenciální rovnice. ...