Theses on the same topic (having an identical keyword):
Formal VerificationKeywords ordered alphabetically | Keywords ordered by occurrence rate
Craig's Interpolant in Model Checking Algorithms
(Viktória Vozárová)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mdjz8/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Craig's Interpolant in Model Checking Algorithms
(Viktória Vozárová)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mdjz8/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Craig's Interpolant in Model Checking Algorithms
(Viktória Vozárová)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mdjz8/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Craig's Interpolant in Model Checking Algorithms
(Viktória Vozárová)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mdjz8/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Basic model-checking problems for stochastic games
(Václav Brožek)2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/gg6sx/ | Informatika / | Theses on a related topic
Basic Model Checking Problems for Stochastic Games
(Václav Brožek)2009, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/z54av/ | Informatika (čtyřleté) / Informatika | Theses on a related topic
A Hybrid Book Recommender System Utilizing Diverse-Item Selection Algorithm
(Martin Balucha)2021, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zd8v3/ | Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů | Theses on a related topic
A Game-Playing Algorithm for Briscola
(Samuel Gazda)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/rfvzn/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Theses on a related topic
Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives
(Dávid Meluš)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/uwna5/ | Aplikovaná informatika / Bioinformatika | Theses on a related topic
Customers Classification using Recency Frequency, Monetary value (RFM), and K-means clustering algorithm
(Mark Azietaku)2024, Diplomová práce, Ekonomicko-správní fakulta / Masarykova univerzita
• https://is.muni.cz/th/jf2ey/ | Business Management / | Theses on a related topic