Paper published in a journal (Scientific congresses and symposiums)
On the construction of automata from linear arithmetic constraints
Wolper, Pierre; Boigelot, Bernard
2000In Lecture Notes in Computer Science, 1785, p. 1-19
 

Files


Full Text
BW-TACAS2000.pdf
Publisher postprint (275.69 kB)
Request a copy
Full Text Parts
BW-TACAS2000.pdf
Author postprint (225.22 kB)
Download

The original publication is available at www.springerlink.com


All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
linear constraints; automata
Abstract :
[en] 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 constructed automata does, in quite a general way, render the usual upper bounds on automata operations vastly overpessimistic.
Disciplines :
Computer science
Author, co-author :
Wolper, Pierre  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données)
Boigelot, Bernard  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique
Language :
English
Title :
On the construction of automata from linear arithmetic constraints
Publication date :
March 2000
Event name :
Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000
Event place :
Berlin, Germany
Event date :
March 25 – April 2, 2000
By request :
Yes
Audience :
International
Journal title :
Lecture Notes in Computer Science
ISSN :
0302-9743
eISSN :
1611-3349
Publisher :
Springer, Berlin, Germany
Special issue title :
Tools and Algorithms for the Construction and Analysis of Systems
Volume :
1785
Pages :
1-19
Available on ORBi :
since 01 December 2009

Statistics


Number of views
92 (13 by ULiège)
Number of downloads
162 (7 by ULiège)

Scopus citations®
 
60
Scopus citations®
without self-citations
50
OpenCitations
 
39

Bibliography


Similar publications



Contact ORBi