125 search results - page 21 / 25 » A Logic of Probability with Decidable Model Checking |
123
Voted
CMSB
2010
Springer
14 years 9 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
132
Voted
CHARME
2005
Springer
15 years 8 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...
191
Voted
FASE
2004
Springer
15 years 6 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
176
Voted
COLT
1994
Springer
15 years 6 months ago
1994
Springer
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
124
Voted
CDC
2009
IEEE
15 years 14 days ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...