An automata-theoretic approach to branching-time model checking
Journal of the ACM (JACM)
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
An Abstract Schema for Equivalence-Checking Games
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
On Expressive and Model Checking Power of Propositional Program Logics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
A modal characterization of Nash equilibrium
Fundamenta Informaticae
Game Characterizations of Process Equivalences
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Liveness Checking as Safety Checking for Infinite State Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Temporal property verification as a program analysis task
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Temporal property verification as a program analysis task
Formal Methods in System Design
A Modal Characterization of Nash Equilibrium
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Reasoning about nondeterminism in programs
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Hi-index | 0.00 |