Question-guided stubborn set methods for state properties

Author： Kristensen L. Schmidt K. Valmari A.

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.29, Iss.3, 2006-11, pp. : 215-251

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

On Stubborn Sets in the Verification of Linear Time Temporal Properties

By Varpaaniemi Kimmo

Formal Methods in System Design, Vol. 26, Iss. 1, 2005-01 ,pp. : 45-67

Springer Publishing Company

Access to resources Recommend Favorite

Methods to design optimal control of Markov process with finite state set in the presence of constraints

By Miller B. Miller G. Semenikhin K.

Automation and Remote Control, Vol. 72, Iss. 2, 2011-02 ,pp. : 323-341

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

On set-theoretic methods in tracking MPC

By Maree Johannes P.

International Journal of Systems, Control and Communications, Vol. 5, Iss. 2, 2013-08 ,pp. : 140-155

Inderscience Publishers

Access to resources Recommend Favorite

Properties of state spaces and their applications

By Pelánek Radek

International Journal on Software Tools for Technology Transfer, Vol. 10, Iss. 5, 2008-10 ,pp. : 443-454

Springer Publishing Company

Access to resources Recommend Favorite

On the Structural Properties of the Set of Fixpoints for Nondeterministic Recursive Definitions

By Chen T.Y.

Journal of Computer and System Sciences, Vol. 52, Iss. 1, 1996-02 ,pp. : 80-86

Academic Press

Access to resources Recommend Favorite