Tag: CEGAR OData: XML JSON What's this?

Departments

• Department of Artificial Intelligence and Systems Engineering (MIT) (20 theses)

Supervisors

• 
  Dr. Vörös András
  (MIT, 6 theses)
• 
  Hajdu Ákos
  (MIT, 4 theses)
• 
  Dr. Molnár Vince
  (MIT, 3 theses)
• 
  Dr. Marussy Kristóf
  (MIT, 2 theses)
• 
  Szekeres Dániel
  (MIT, 2 theses)
• 
  Ádám Zsófia
  (MIT, 1 thesis)
• 
  Bajczi Levente
  (MIT, 1 thesis)
• 
  Dr. Micskei Zoltán Imre
  (MIT, 1 thesis)

Theses

20 theses in total.  View all theses »