Back to Results
First PageMeta Content
Ω-automaton / Tree automaton / Finite-state machine / Alternating finite automaton / Automata theory / Theoretical computer science / Computer science


Semi-Automatic Distributed Synthesis Bernd Finkbeiner and Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany {finkbeiner|schewe}@cs.uni-sb.de
Add to Reading List

Document Date: 2008-09-22 13:39:26

Open Document

File Size: 168,54 KB

Share Result on Facebook

/

IndustryTerm

automata-theoretic synthesis algorithm / synthesis algorithm / /

Organization

b∈B V / /

Person

Sven Schewe Universit / Bernd Finkbeiner / /

Position

white-box Arbiter / player / white-box process Arbiter / iff player / Arbiter / /

Product

Sony Ericsson P1i Smartphone / /

Technology

synthesis algorithm / automata-theoretic synthesis algorithm / /

SocialTag