36 search results - page 8 / 8 » Automated State Abstraction for Options using the U-Tree Alg... |
SPIN
2007
Springer
14 years 14 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...