OpenAlex
Approximate Determinization of Quantitative Automata
Work
Year: 2012
Type: article
Source: Foundations of Software Technology and Theoretical Computer Science
Authors Udi Boker, Thomas A. Henzinger
Institutions Hebrew University of Jerusalem, Institute of Science and Technology Austria
Cites: 16
Cited by: 10
Related to: 20
FWCI: 1.383
Citation percentile (by year/subfield): 74.88
Topic: Formal Methods in Verification
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed