Bibliographic Details
| Title: |
From Model-Checking to Temporal Logic Constraint Solving. |
| Authors: |
Fages, François, Rizk, Aurélien |
| Superior Title: |
Principles & Practice of Constraint Programming - Cp 2009; 2009, p319-334, 16p |
| Abstract: |
In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some domain ]> , and by computing a validity domain for the variables rather than a truth value for the formula. This allows us to define a continuous degree of satisfaction for a temporal logic formula in a given structure, opening up the field of model-checking to optimization. We illustrate this approach with reverse-engineering problems coming from systems biology, and provide some performance figures on parameter optimization problems with respect to temporal logic specifications. [ABSTRACT FROM AUTHOR] |
|
Copyright of Principles & Practice of Constraint Programming - Cp 2009 is the property of Springer Nature / Books and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Complementary Index |
