Data-abstraction refinement: a game semantic approach

By Bakewell Adam   Dimovski Aleksandar   Ghica Dan   Lazić Ranko  

International Journal on Software Tools for Technology Transfer, Vol. 12, Iss. 5, 2010-09 ,pp. : 373-389

Springer Publishing Company

Access to resources Recommend Favorite

Counterexample-guided abstraction refinement for linear programs with arrays

By Armando Alessandro   Benerecetti Massimo   Mantovani Jacopo  

Automated Software Engineering, Vol. 21, Iss. 2, 2014-04 ,pp. : 225-285

Springer Publishing Company

Access to resources Recommend Favorite

A game-based abstraction-refinement framework for Markov decision processes

By Kattenbelt Mark   Kwiatkowska Marta   Norman Gethin   Parker David  

Formal Methods in System Design, Vol. 36, Iss. 3, 2010-09 ,pp. : 246-280

Springer Publishing Company

Access to resources Recommend Favorite

Closed-loop verification of medical devices with model abstraction and refinement

By Jiang Zhihao   Pajic Miroslav   Alur Rajeev   Mangharam Rahul  

International Journal on Software Tools for Technology Transfer, Vol. 16, Iss. 2, 2014-04 ,pp. : 191-213

Springer Publishing Company

Access to resources Recommend Favorite

Research on task decomposition and state abstraction in reinforcement learning

By Lasheng Yu  

Artificial Intelligence Review, Vol. 38, Iss. 2, 2012-08 ,pp. : 119-127

Springer Publishing Company

Access to resources Recommend Favorite