Theses on the same topic (having an identical keyword):

signalni temporalni logika

Keywords ordered alphabetically | Keywords ordered by occurrence rate

Specification and monitoring of oscillation properties in dynamical systems
 (Petr Dluhoš)

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

• https://is.muni.cz/th/zsgyq/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Theses on a related topic

List of theses with an identical keyword.

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 | Theses on a related topic