Back to Results
First PageMeta Content
Ω-automaton / Finite-state machine / Papyrus 1 / Automata theory / Models of computation / Symbol


Uniform Distributed Synthesis Bernd Finkbeiner and Sven Schewe Universit¨at des Saarlandes Abstract
Add to Reading List

Document Date: 2008-09-22 13:40:44

Open Document

File Size: 183,33 KB

Share Result on Facebook

Company

IBM / Hp / /

Currency

pence / /

Facility

Stanford University / /

IndustryTerm

finite-state solution / reactive systems / uniform solution / synthesis algorithm / communication protocols / synthesis algorithms / uniform synthesis algorithm / automata-based synthesis algorithm / /

Organization

Transregional Collaborative Research Center / Stanford University / German Research Foundation / /

Person

Rabin / Sven Schewe Universit / Andreas Podelski / Ai / Bernd Finkbeiner / /

Position

iff player / read/write head / player / /

ProvinceOrState

Nova Scotia / /

PublishedMedium

Complex Systems / /

SportsLeague

Stanford University / /

Technology

encryption / automata-based synthesis algorithm / 5 Undecidable Architectures The algorithm / 4 The synthesis algorithm / synthesis algorithms / uniform synthesis algorithm / Introduction Synthesis algorithms / synthesis algorithm / communication protocols / 5.4 The algorithm / /

SocialTag