We use cookies to provide essential features and services. By using our website you agree to our use of cookies .

×

Warehouse Stock Clearance Sale

Grab a bargain today!


Synthesis of Distributed Systems
By
Rating

Product Description
Product Details

Table of Contents

Introduction.- Parity Games.- Solving Parity Games in Big Steps.-Optimal Strategy Improvement.- Logics & Automata.- Satisfiability of AT C.- ATL* Satisfiability is 2EXPTIME-complete.- Open & Distributed Synthesis.- Uniform Distributed Synthesis.- Bounded Synthesis.- Excursion: Probabilistic Environments.- Semi-Automatic Synthesis.- Asynchronous Systems.- Summary & Conclusions.

Ask a Question About this Product More...
 
Look for similar items by category
Home » Books » Science » Mathematics » Logic
People also searched for
This title is unavailable for purchase as none of our regular suppliers have stock available. If you are the publisher, author or distributor for this item, please visit this link.

↑
Back to top