On the Construction of Automata from Linear Arithmetic Constraints

Abstract

This paper presents an overview of algorithms for constructing automata from linear arithmetic constraints. It identifies one case in which the special structure of the automata that are constructed allows a linear-time determinization procedure to be used. Furthermore, it shows through theoretical analysis and experiments that the special structure of the… (More)
DOI: 10.1007/3-540-46419-0_1

Topics

6 Figures and Tables

Cite this paper

@inproceedings{Wolper2000OnTC, title={On the Construction of Automata from Linear Arithmetic Constraints}, author={Pierre Wolper and Bernard Boigelot}, booktitle={TACAS}, year={2000} }