Skip to main navigation
Skip to search
Skip to main content
Tel Aviv University Home
Update Request & User Guide (TAU staff only)
Link opens in a new tab
Search content at Tel Aviv University
Home
Experts
Research units
Research output
Datasets
Prizes
Activities
Press/Media
Complexity and information in invariant inference
Yotam M.Y. Feldman
, Neil Immerman
,
Mooly Sagiv
,
Sharon Shoham
COMPUTER SCIENCE
School of Computer Science and AI
University of Massachusetts
Research output
:
Contribution to journal
›
Article
›
peer-review
9
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Complexity and information in invariant inference'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Black-box Model
33%
Capture Algorithms
33%
Classical Theory
33%
Convergence Rate
33%
Counterexample-guided Inductive Synthesis
33%
Exact Concept Learning
33%
Exact Learning
33%
Exponential number
66%
Hoare Triples
33%
ICE Learning
33%
Inductive Invariants
33%
Inference Methods
33%
Information Theory
33%
Invariant Inference
100%
No-choice
33%
Partial Information
33%
Query Model
66%
Reachable States
33%
Safety Properties
33%
Safety Verification
33%
SAT-based
33%
Transition System
66%
Computer Science
Classical Theory
50%
Convergence Rate
50%
Exponential Number
100%
Hoare Triple
50%
Invariant
100%
Labeled Example
50%
Reachable State
50%
Transition System
100%