Search Sciweavers | Sciweavers

1167 search results - page 60 / 234

» A Really Temporal Logic

click to vote

CIBB
2009

232views Artificial Intelligence» more CIBB 2009»

On the Use of Temporal Formal Logic to Model Gene Regulatory Networks

13 years 10 months ago

Download www.i3s.unice.fr

Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...

Gilles Bernot, Jean-Paul Comet

claim paper

Read More »

click to vote

LICS
2005
IEEE

133views Automated Reasoning» more LICS 2005»

Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics

14 years 3 months ago

Download research.microsoft.com

Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...

Patrice Godefroid, Michael Huth

claim paper

Read More »

click to vote

LOGCOM
2002

100views more LOGCOM 2002»

Model Checking Games for Branching Time Logics

13 years 9 months ago

Download homepages.inf.ed.ac.uk

This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...

Martin Lange, Colin Stirling

claim paper

Read More »

click to vote

FROCOS
2009
Springer

133views Control Systems» more FROCOS 2009»

Runtime Verification Using a Temporal Description Logic

14 years 4 months ago

Download disi.unitn.it

Franz Baader, Andreas Bauer 0002, Marcel Lippmann

claim paper

Read More »