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


Distributed Synthesis for Alternating-Time Logics⋆ Sven Schewe and Bernd Finkbeiner Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany
Add to Reading List

Document Date: 2008-09-22 13:36:18

Open Document

File Size: 201,35 KB

Share Result on Facebook

IndustryTerm

synthesis algorithm / Synthesis algorithms / automata-theoretic synthesis algorithms / automata-theoretic synthesis algorithm / automata-based synthesis algorithm / security protocols / /

Organization

German Research Foundation / Transregional Collaborative Research Center / /

Person

Bernd Finkbeiner Universit / Sven Schewe / /

Position

iff player / player / /

PublishedMedium

Complex Systems / /

Technology

automata-based synthesis algorithm / synthesis algorithm / security protocols / automata-theoretic synthesis algorithm / following algorithm / automata-theoretic synthesis algorithms / Synthesis algorithms / /

SocialTag