Theses on the same topic (having an identical keyword):
Runtime VerificationKeywords ordered alphabetically | Keywords ordered by occurrence rate
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 | Theses on a related topic
Temporal attribute implications
(Jan TŘÍSKA)2018, Disertační práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//5x5ue2// | Informatika / | Theses on a related topic
Expressiveness and Model Checking of Temporal Logics
(Jan Strejček)2007, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zx2ly/ | Informatika / | Theses on a related topic
Runtime Verification of Linear Temporal Specifications with Degradation
(Tomáš Staňa)2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ixwaf/ | Informatika / Matematická informatika | Theses on a related topic