Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Temporal logic")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 1990

  • Page / 80
Export

Selection :

  • and

Correct, Reactive, High―Level Robot ControlKRESS-GAZIT, Hadas; WONGPIROMSARN, Tichakorn; TOPCU, Ufuk et al.IEEE robotics & automation magazine. 2011, Vol 18, Num 3, pp 65-74, issn 1070-9932, 10 p.Article

A reified temporal logicMA, J; KNIGHT, B.Computer journal (Print). 1996, Vol 39, Num 9, pp 800-807, issn 0010-4620Article

Invariance under stuttering in a temporal logic of actionsKAMINSKI, Michael.Theoretical computer science. 2006, Vol 368, Num 1-2, pp 50-63, issn 0304-3975, 14 p.Article

Simple interpretations among complicated theoriesGRAÊDEL, E.Information processing letters. 1990, Vol 35, Num 5, pp 235-238, issn 0020-0190, 4 p.Article

Raisonnement temporel dans les systèmes Experts = Temporal reasoning in expert systemERMINE, J.-L; CAUHAPE, D.Revue d'intelligence artificielle. 1990, Vol 4, Num 1, pp 99-136, issn 0992-499X, 38 p.Article

Proving linearizability with temporal logicBÄUMLER, Simon; SCHELLHORN, Gerhard; TOFAN, Bogdan et al.Formal aspects of computing. 2011, Vol 23, Num 1, pp 91-112, issn 0934-5043, 22 p.Article

Logics and decidability for labelled pre- and partially ordered Kripke structuresSINACHOPOULOS, A.Information processing letters. 1994, Vol 51, Num 1, pp 43-52, issn 0020-0190Article

Relations temporelles symboliques : representations en algorithmes = Symbolic temporal relations: representation and algorithmsMAILK GHALLAB; ANINE NOUNIR ALAOUI.Revue d'intelligence artificielle. 1989, Vol 3, Num 3, pp 67-115, issn 0992-499X, 49 p.Article

A linear translation from CTL* to the first-order modal μ-calculusCRANEN, Sjoerd; FRISO GROOTE, Jan; RENIERS, Michel et al.Theoretical computer science. 2011, Vol 412, Num 28, pp 3129-3139, issn 0304-3975, 11 p.Article

Specification of communicating processes : temporal logic versus refusals-based refinementLOWE, Gavin.Formal aspects of computing. 2008, Vol 20, Num 3, pp 277-294, issn 0934-5043, 18 p.Article

The expressive power of temporal logic of actionsESTRIN, A; KAMINSKI, M.Lecture notes in computer science. 1999, pp 274-287, issn 0302-9743, isbn 3-540-66425-4Conference Paper

Comments on Temporal Logics for Real-Time System SpecificationFURIA, Carlo A; PRADELLA, Matteo; ROSSI, Matteo et al.ACM computing surveys. 2009, Vol 41, Num 2, issn 0360-0300, 13.1-13.5Article

Specification and verification of temporal relationships in transaction modellingNGU, A. H. H.Information systems (Oxford). 1990, Vol 15, Num 2, pp 257-267, issn 0306-4379, 11 p.Article

Time revisitedMILLER, S. A; SCHUBERT, L. K.Computational intelligence. 1990, Vol 6, Num 2, pp 108-118, issn 0824-7935, 11 p.Article

Approximating ATL* in ATLHARDING, Aidan; RYAN, Mark; SCHOBBENS, Pierre-Yves et al.Lecture notes in computer science. 2002, pp 289-301, issn 0302-9743, isbn 3-540-43631-6Conference Paper

Linear temporal logic and finite semigroupsWILKE, Thomas.Lecture notes in computer science. 2001, pp 96-110, issn 0302-9743, isbn 3-540-42496-2Conference Paper

Using compositional preorders in the verification of Sliding window protocolKAIVOLA, R.Lecture notes in computer science. 1997, pp 48-59, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Temporal Logic in EngineeringKNIGHT, Brian; NISSAN, Ephraim; MA, Jixin et al.Artificial intelligence for engineering design, analysis and manufacturing. 1999, Vol 13, Num 2, issn 0890-0604, 76 p.Serial Issue

Minimal refinements of specifications in modal and temporal logicsGOROGIANNIS, Nikos; RYAN, Mark.Formal aspects of computing. 2007, Vol 19, Num 4, pp 417-444, issn 0934-5043, 28 p.Article

Vacuity detection in temporal model checkingKUPFERMAN, Orna; VARDI, Moshe Y.International journal on software tools for technology transfer (Print). 2003, Vol 4, Num 2, pp 224-233, issn 1433-2779, 10 p.Conference Paper

Why so many temporal logics climb up the trees?RABINOVICH, A; MAOZ, S.Lecture notes in computer science. 2000, pp 629-639, issn 0302-9743, isbn 3-540-67901-4Conference Paper

A common sense theory of causationBELL, John.Lecture notes in computer science. 2003, pp 40-53, issn 0302-9743, isbn 3-540-40380-9, 14 p.Conference Paper

Model checking a pathMARKEY, N; SCHNOEBELEN, P.Lecture notes in computer science. 2003, pp 251-265, issn 0302-9743, isbn 3-540-40753-7, 15 p.Conference Paper

From falsification to verificationPELED, Doron; PNUELI, Amir; ZUCK, Lenore et al.Lecture notes in computer science. 2001, pp 292-304, issn 0302-9743, isbn 3-540-43002-4Conference Paper

A dense-time Temporal Logic with nice Compositionality PropertiesCAU, A; DE ROEVER, W.-P.EUROCAST '97International conference on computer aided systems theory and technology. 1997, pp 71-72, isbn 84-88912-04-8Conference Paper

  • Page / 80