Skip to main navigation
Skip to search
Skip to main content
The Hebrew University of Jerusalem Home
Approve / Request updates on publications
Home
Profiles
Research units
Research output
Prizes
Search by expertise, name or affiliation
Latticed simulation relations and games
Orna Kupferman
*
, Yoad Lustig
*
Corresponding author for this work
The Rachel and Selim Benin School of Engineering and Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
23
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Latticed simulation relations and games'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Atomic Proposition
25%
Boolean
75%
Calculus
25%
Formal Methods
25%
Kripke Structure
100%
Min-max Property
25%
Multi-valued
75%
Multiple Viewpoints
25%
Partially Ordered
25%
Play Value
25%
Polynomial Time
25%
Query Checking
25%
Query Reasoning
25%
Relation Map
25%
Simulation Game
100%
Simulation Relation
100%
Traversal
50%
Truth Value
50%
Two-player Games
25%
Mathematics
Calculus
25%
Formal Method
25%
Kripke Structure
100%
Lattices
50%
Min-Max
25%
Polynomial Time
25%
Proposition
25%
Truth Value
50%
Computer Science
Atomic Proposition
25%
Early Definition
25%
Kripke Structure
100%
Polynomial Time
25%
Simulation Relation
100%