Mesterséges Intelligencia és Rendszertervezés Tanszék
A* keresés (1) · absztrakció (1) · absztrakció finomítás (1) · absztrakció órák felett (1) · absztrakt elérhetőségi gráf (1) · algoritmusok (1) · CEGAR (2) · cfa (1) · fomrális verifikáció (1) · Formális ellenőrzés (1) · formális verifikáció (1) · heurisztika (1) · interpoláció (1) · keresési stratégiák (1) · k-indukció (1) · korlátos modellellenőrzés (1) · logikai kielégíthetőség (1) · Markov döntési folyamat (1) · MDP (1) · megbízhatóság (1) · modell absztrakció (1) · modell transzformáció (1) · modellellenőrzés (3) · smt-lib (1) · STS (1) · Theta (2) · XSTS (1)
Összesen 4 szakdolgozat és diplomaterv. Összes téma megtekintése »