475 search results - page 73 / 95 » Temporal Logic Model Checking (Abstract) |
112
click to vote
JSAI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
156
click to vote
TSE
2011
14 years 8 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
119
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
116
click to vote
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
122
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...