Skip to main navigation
Skip to search
Skip to main content
University of Haifa Home
Update your profile
Home
Researchers
Research units
Research output
Search by expertise, name or affiliation
When does abstraction help?
Guy Avni
, Orna Kupferman
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'When does abstraction help?'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Abstraction Functions
100%
Automata
100%
Determinism
33%
Nondeterminism
33%
Original System
33%
PSPACE-complete
33%
Deterministic Automata
33%
Exponential Blow up
33%
Large State Space
33%
Computer Science
Automaton
100%
Nondeterminism
33%
Large State Space
33%
Deterministic Automaton
33%