Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Linear_temporal_logic> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- Linear_temporal_logic abstract "In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths, e.g., a condition will eventually be true, a condition will be true until another fact becomes true, etc. It is a fragment of the more complex CTL*, which additionally allows branching time and quantifiers. Subsequently LTL is sometimes called propositional temporal logic, abbreviated PTL.Linear temporal logic (LTL) is a fragment of S1S.LTL was first proposed for the formal verification of computer programs by Amir Pnueli in 1977.".
- Linear_temporal_logic thumbnail Ltlnext.png?width=300.
- Linear_temporal_logic wikiPageExternalLink spot.lip6.fr.
- Linear_temporal_logic wikiPageExternalLink LtlTranslationAlgorithms.
- Linear_temporal_logic wikiPageExternalLink isical97.html.
- Linear_temporal_logic wikiPageExternalLink 2004ltl.pdf.
- Linear_temporal_logic wikiPageExternalLink slide3.pdf.
- Linear_temporal_logic wikiPageID "710307".
- Linear_temporal_logic wikiPageRevisionID "602935647".
- Linear_temporal_logic date "February 2014".
- Linear_temporal_logic hasPhotoCollection Linear_temporal_logic.
- Linear_temporal_logic reason "Under what equivalence?".
- Linear_temporal_logic subject Category:1977_works.
- Linear_temporal_logic subject Category:Temporal_logic.
- Linear_temporal_logic comment "In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths, e.g., a condition will eventually be true, a condition will be true until another fact becomes true, etc. It is a fragment of the more complex CTL*, which additionally allows branching time and quantifiers.".
- Linear_temporal_logic label "Linear temporal logic".
- Linear_temporal_logic label "Lineare temporale Logik".
- Linear_temporal_logic label "Logica temporale lineare".
- Linear_temporal_logic label "Logika LTL".
- Linear_temporal_logic label "線形時相論理".
- Linear_temporal_logic sameAs Lineare_temporale_Logik.
- Linear_temporal_logic sameAs Γραμμική_χρονική_λογική.
- Linear_temporal_logic sameAs Logica_temporale_lineare.
- Linear_temporal_logic sameAs 線形時相論理.
- Linear_temporal_logic sameAs Logika_LTL.
- Linear_temporal_logic sameAs m.034swn.
- Linear_temporal_logic sameAs Q1536492.
- Linear_temporal_logic sameAs Q1536492.
- Linear_temporal_logic wasDerivedFrom Linear_temporal_logic?oldid=602935647.
- Linear_temporal_logic depiction Ltlnext.png.
- Linear_temporal_logic isPrimaryTopicOf Linear_temporal_logic.