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
Multi-Valued Reasoning about Reactive Systems
Orna Kupferman
*
*
Corresponding author for this work
The Rachel and Selim Benin School of Engineering and Computer Science
Research output
:
Contribution to journal
›
Review article
›
peer-review
1
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Multi-Valued Reasoning about Reactive Systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Reactive Systems
100%
Multi-valued
100%
Temporal Logic
71%
Automata
57%
Boolean
42%
Logic Formulas
42%
Search Problems
14%
Computer Science
14%
Mathematical Model
14%
Decision Problems
14%
Combinatorial Properties
14%
Satisfaction Value
14%
Finite Lattice
14%
Desired Behavior
14%
Automata over Infinite alphabets
14%
Nonemptiness
14%
Quantitative Evaluation
14%
Formal Methods
14%
Infinite Computation
14%
Turing Machine
14%
Infinite Words
14%
Arbitrary Functions
14%
Theoretical Properties
14%
Language Containment
14%
Quantitative Aspects
14%
Stochastic Dynamics
14%
Classical Decision Problem
14%
True or False
14%
Logic in Computer Science
14%
Boolean System
14%
Boolean Specification
14%
Membership Value
14%
Delay Cost
14%
Fuzzy-stochastic
14%
Fuzzy Assignment Problem
14%
Computer Science
Reactive System
100%
Automaton
100%
Temporal Logic
100%
Model Checking
40%
Decision Problem
40%
Computer Science
40%
Desired Behavior
20%
Theoretic Approach
20%
Turing Machine
20%
Ongoing Behavior
20%
Quantitative Evaluation
20%
Membership Value
20%