COMPUTING CONVEX HULLS BY AUTOMATA ITERATION

DOI10.1142/S0129054109006796MaRDI QIDQ3395136zbMATH OpenOpenAlexFDO

Authors François Cantin, Axel Legay, Pierre Wolper

Publication date 21 August 2009

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054109006796

zbMATH Keywords

(\(\omega \)-)regular model checkingBüchi automataconvex hull

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Computing Convex Hulls by Automata Iteration
• Convex Hull of Arithmetic Automata
• scientific article; zbMATH DE number 1182912
• Extended convex hull
• The quickhull algorithm for convex hulls

Cites work

• Alternating finite automata on -words
• An effective decision procedure for linear arithmetic over the integers and reals
• An optimal convex hull algorithm in any fixed dimension
• Efficient minimization of deterministic weak -automata
• The convex hull of a regular set of integer vectors is polyhedral and effectively computable

Cited in

(13)

• The convex hull of a regular set of integer vectors is polyhedral and effectively computable
• Boundary modeling in model-based calibration for automotive engines via the vertex representation of the convex hulls
• Using interval arithmetic for determining the structure of convex hulls
• The affine hull of a binary automaton is computable in polynomial time
• Neuro-convex-hull computation from a set of circles
• Convex Hull of Arithmetic Automata
• Computing Convex Hulls by Automata Iteration
• An exact and optimal local solution to the two-dimensional convex hull of arbitrary points problem
• An improved cellular automata based algorithm for the 45-convex hull problem
• Computability of convex sets
• Computing convex hulls with a linear solver
• Convex hulls on cellular automata
• The convex hull of finitely generable subsets and its predicate transformer

This page was built for publication: COMPUTING CONVEX HULLS BY AUTOMATA ITERATION

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3395136)