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


Synthesis for Probabilistic Environments⋆ Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany
Add to Reading List

Document Date: 2008-09-22 13:37:30


Open Document

File Size: 185,22 KB

Share Result on Facebook
UPDATE