An approximation algorithm for box abstraction of transition systems on real state spaces

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.42, Iss.2, 2013-04, pp. : 175-192

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Design of a reconfigurable state transition algorithm for fuzzy automata

By Grantner Janos

International Journal of General Systems, Vol. 37, Iss. 1, 2007-10 ,pp. : 103-126

Taylor & Francis Ltd

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

A formal framework for black-box conformance testing of distributed real-time systems

By Krichen Moez

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 26-43

Inderscience Publishers

Access to resources Recommend Favorite

The Parti-game Algorithm for Variable Resolution Reinforcement Learning in Multidimensional State-spaces

By Moore A.W.

Machine Learning, Vol. 21, Iss. 3, 1995-12 ,pp. : 199-233

Springer Publishing Company

Access to resources Recommend Favorite

ACO Based Dynamic Scheduling Algorithm for Real-Time Multiprocessor Systems

International Journal of Grid and High Performance Computing (IJGHPC), Vol. 3, Iss. 3, 2011-07 ,pp. : 20-30

IGI Global_journal

Access to resources Recommend Favorite