Concepedia

Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1

Magdalena Kacprzak, Wojciech Penczek

Autonomous Agents and Multi-Agent Systems · 2005 · 20 citations · 17 references

DOI

Concepts

References

17

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

, , +16

A machine program for theorem-proving

Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text

, , +16

A lattice-theoretical fixpoint theorem and its applications

Alfred Tarski · Pacific Journal of Mathematics · 1955 · 2.7K citations · Full text

, , +9

Alternating-time temporal logic

Rajeev Alur, Thomas A. Henzinger, Orna Kupferman · Journal of the ACM · 2002 · 1.4K citations

, , +12