Farkas Rebeka

doktorandusz
Villamosmérnöki és Informatikai Kar
Mesterséges Intelligencia és Rendszertervezés Tanszék

konferenciák

Villamosmérnöki és Informatikai Kar 2017. évi TDK (1 dolgozat)
Villamosmérnöki és Informatikai Kar 2020. évi TDK (1 dolgozat)

témák

Információs rendszerek (1 dolgozat)
Intelligens rendszerek (1 dolgozat)

dolgozatok

Összesen 2 dolgozat. Összes dolgozat »

helyezés szerint

II. helyezett (2 dolgozat)

különdíj szerint

évek szerint

2020 (1 dolgozat)
2017 (1 dolgozat)

dolgozatok

Absztrakt interpretációt használó keresési stratégiák Petri-háló alapú modellekhez

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2014 konferencia » Szoftver szekció, 2014

Villamosmérnöki és Informatikai Kar » Szoftver téma

Vörös András Dr. ( MIT) , Tóth Tamás ( MIT) , Semeráth Oszkár Dr. ( MIT)

II. helyezett

Időzített automaták verifikációja CEGAR-alapú algoritmusokkal

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2016. évi TDK konferencia » Szimuláció és modellezés szekció, 2016

Villamosmérnöki és Informatikai Kar » Modellezés és szimuláció téma

Vörös András Dr. ( MIT) , Tóth Tamás ( MIT) , Hajdu Ákos Dr.

I. helyezett