MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Lattice Automata." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

ATOM

Lattice automata
by Orna Kupferman, Yoad Lustig — 2007 — In Proc. 8th International Conference on Verification, Model Checking, and Abstract Interpretation
…Lattice Automata Orna Kupferman and Yoad Lustig Hebrew University, School of Engineering…
Cited by 4 (1 self) – Add To MetaCart

Analysis of communicating infinite state machines using lattice automata
by Tristan Le Gall, Bertrand Jeannet
… INFORMATIQUE ET SYSTÈMES ALÉATOIRES ANALYSIS OF COMMUNICATING INFINITE STATE MACHINES USING LATTICE AUTOMATA…
Cited by 1 (1 self) – Add To MetaCart

STABILITY IN RANDOM BOOLEAN CELLULAR AUTOMATA ON THE INTEGER LATTICE
by F. Michel, Dekking, Leonard Van Driel — 704
…STABILITY IN RANDOM BOOLEAN CELLULAR AUTOMATA ON THE INTEGER LATTICE arXiv:0704.2183v2 [math…
Add To MetaCart

What is the Search Space of the Regular Inference?
by P. Dupont, L. Miclet, E. Vidal — 1994 — In Proceedings of the Second International Colloquium on Grammatical Inference (ICGI'94
… set, lattices of automata. We revisit the notion of structural completeness of a sample with respect…
Cited by 34 (4 self) – Add To MetaCart

Specifying graceful degradation in distributed systems
by Maurice P. Herlihy, Jeannette M. Wing — ACM TODS
… relaxation lattice is given by a set of constraints C, a lattice of automata A, and a lattice homomorphism…
Cited by 1 (0 self) – Add To MetaCart

Incremental Regular Inference
by Pierre Dupont — 1996 — Proceedings of the Third ICGI-96
… from A=�� i . The set of automata partially ordered by the relation �� is a lattice, which we shall…
Cited by 25 (1 self) – Add To MetaCart

Ranking automata and games for prioritized requirements
by Rajeev Alur, Aditya Kanade, Gera Weiss — In Proceedings of the 20th conference on Computer Aided Verification
… model checking problem has very different technical flavor [1]. Lattice automata [12, 13] generalize…
Cited by 1 (1 self) – Add To MetaCart

Composition and Alternation for Weighted Automata
by Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
…. The lattice automata of [KL07] map finite words to values from a finite lattice. The Büchi lattice automata…
Add To MetaCart

How considering incompatible state mergings may reduce the DFA induction search tree
by François Coste, Jacques Nicolas — 1998 — Fourth International Colloquium on Grammatical Inference (ICGI'98
… from A is a lattice Lat(A). 1.2 Search Space : a lattice of automata We can now characterize more…
Cited by 6 (1 self) – Add To MetaCart

Probabilistic DFA Inference using Kullback-Leibler Divergence and Minimality
by Franck Thollard Thollard — 2000 — In Seventeenth International Conference on Machine Learning
… acceptor (a) and a quotient automaton (b). Let Lat(PPTA(I+ )) denote the lattice of automata which can…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB