- Record: found
- Abstract: not found
- Book Chapter: not found
LATIN 2000: Theoretical Informatics : 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000 Proceedings
Counterexample-Driven Synthesis for Probabilistic Program Sketches
other
September 23 2019
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references65
- Record: found
- Abstract: not found
- Article: not found
Planning and acting in partially observable stochastic domains
- Record: found
- Abstract: not found
- Book Chapter: not found
Z3: An Efficient SMT Solver
Leonardo de Moura, Nikolaj Bjørner (2008)
- Record: found
- Abstract: not found
- Book Chapter: not found
PRISM 4.0: Verification of Probabilistic Real-Time Systems
Marta Kwiatkowska, Gethin Norman, David Parker (2011)
Author and book information
Comments
Comment on this book
Book chapters
Similar content5,265
- An account of travels into the interior of Southern Africa, in the years 1797 and 1798 : including cursory observations on the geology and geography of the southern part of that continent; the natural history of such objects as occurred in the animal, vegetable, and mineral kingdoms; and sketches of the physical and moral characters of the various tribes of inhabitants surrounding the settlement of the Cape of Good Hope ... /Authors: John Barrow