MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "LTL Satisfiability Checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Ltl satisfiability checking
by Kristin Y. Rozier, Moshe Y. Vardi — 2007 — In 14th International SPIN Workshop, volume 4595 of LNCS
…LTL Satisfiability Checking Kristin Y. Rozier 1 ⋆ and Moshe Y. Vardi 2 1 NASA Langley Research…
Cited by 3 (1 self) – Add To MetaCart

Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking ⋆
by M. De Wulf, L. Doyen, N. Maquet, J. -f. Raskin
…Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking ⋆ M. De Wulf 1 , L…
Add To MetaCart

Model checking temporal metric specifications with Trio2Promela
by Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro — 2007 — In FSEN’07, Proc. of the International Symposium on Fundamentals of Software Engineering
… been translated into Promela, along with a safety property. b Satisfiability checking with LTL2BA…
Cited by 1 (1 self) – Add To MetaCart

Aggregation of Linear
by Moritz Hammer — 1977 — Inequalities in Integer Programming", Annals of Discrete Mathematics 1
… [May98], see also [SC85] for a proof of PSPACE-completeness of LTL satisfiability checking…
Cited by 1 (0 self) – Add To MetaCart

Reasoning about Actions and Planning in LTL Action Theories
by Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi — 2002 — In Proc. KR-02
… interpretation. Theorem 1 [31] Satisfiability (and validity) for ltl formulas are PSPACE-complete. 2.2 B UCHI…
Cited by 14 (3 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB