Related content

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

Refinement and state machine abstraction

By Lermer K.   Strooper P.  

Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. : 195-235

Elsevier

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

Big Data Summarization Using Novel Clustering Algorithm and Semantic Feature Approach

By  

International Journal of Rough Sets and Data Analysis (IJRSDA), Vol. 4, Iss. 3, 2017-07 ,pp. : 108-117

IGI Global_journal

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