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
When does abstraction help?
Guy Avni
*
,
Orna Kupferman
*
Corresponding author for this work
The Rachel and Selim Benin School of Engineering and Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
3
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'When does abstraction help?'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Automata
100%
Abstraction Functions
100%
Nondeterminism
33%
Exponential Blow up
33%
Deterministic Automata
33%
PSPACE-complete
33%
Determinism
33%
Original System
33%
Large State Space
33%
Computer Science
Automaton
100%
Nondeterminism
33%
Deterministic Automaton
33%
Large State Space
33%