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
Rigorous approximated determinization of weighted automata
Benjamin Aminof
,
Orna Kupferman
*
, Robby Lampert
*
Corresponding author for this work
The Rachel and Selim Benin School of Engineering and Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
11
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Rigorous approximated determinization of weighted automata'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Weighted Automata
100%
Determinization
100%
Weighted Finite Automata
80%
Approximation Factor
40%
Automata
20%
Formal Verification
20%
Non-deterministic
20%
Numerical Value
20%
Quantitative Properties
20%
Image Processing
20%
Polynomial-time Algorithm
20%
Text Processing
20%
Subset Construction
20%
Deterministic Weighted Automata
20%
Speech Processing
20%
Low Residue
20%
Computer Science
Weighted Automaton
100%
Finite Automata
100%
approximation factor
50%
Numerical Value
25%
Automaton
25%
Formal Verification
25%
Polynomial Algorithm
25%
Image Processing
25%
Subclasses
25%
Subset Construction
25%
Speech Processing
25%
Mathematics
Polynomial
100%
Numerical Value
100%
Image Processing
100%
Engineering
Image Processing
100%
Speech Processing
100%
Numerical Value
100%