A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework

Thumbnail
Megtekintés/Megnyitás
Metaadat
Teljes megjelenítés
Link a dokumentumra való hivatkozáshoz:
http://hdl.handle.net/10890/15235
Gyűjtemény
Cím és alcím
A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework
Szerző
Hajdu, Ákos
Micskei, Zoltán
Megjelenés ideje
2018
Hozzáférés szintje
Open access
Konferencia címe
25th Mini-Symposium
Konferencia helye
Budapest
Konferencia ideje
2018.01.29
Nyelv
en
Terjedelem
32 - 35
Változat
Published
A cikket/könyvrészletet tartalmazó dokumentum címe
Proceedings of the 25th Minisymposium
Dokumentumtípus
könyvfejezet
Műfaj
Konferenciacikk
Egyetem
Budapest University of Technology and Economics
Kar
Faculty of Electrical Engineering and Informatics
Tanszék / Szervezeti egység
Department of Measurement and Information Systems