Práce na stejné téma (mají shodná klíčová slova):

parameter synthesis

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 » (celkem 17 prací)
Bifurcation diagrams of discrete dynamical systems
 (Tomáš Stehlík)

2022, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava

• http://hdl.handle.net/10084/147319 | Výpočetní a aplikovaná matematika / | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Tools for time series analysis of nonlinear dynamical systems
 (Tomáš Martinovič)

2018, Disertační práce, Univerzitní studijní programy / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/133997 | Výpočetní vědy / | Práce na příbuzné téma

Simulation-based analysis of large-scale dynamical systems
 (Milan Kováčik)

2012, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/n9n94/ | Aplikovaná informatika / | Práce na příbuzné téma

Translation of Linear Temporal Logic to Omega-Automata
 (Tomáš Babiak)

2017, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/wqhsq/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Robustness Analysis of Extended Signal Temporal Logic STL*
 (Tomáš Vejpustek)

2013, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/eflnx/ | Informatika / Teoretická informatika | Práce na příbuzné téma

Control Strategy Synthesis for Path Planning under Temporal Constraints
 (Mária Svoreňová)

2015, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/soj2g/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Paralelní syntéza parametrů z formulí hybridní logiky HUCTL
 (Samuel Pastva)

2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/slugu/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

« 1 2 » (celkem 17 prací)