Opening book details…
Can I read Synthesis of Reactive(1) Designs on EtoBox?
Synthesis of Reactive(1) Designs by Nir Piterman; Amir Pnueli; Yaniv Sa’ar is a computer science book available to read on EtoBox.
What is Synthesis of Reactive(1) Designs about?
The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.
Who reads Synthesis of Reactive(1) Designs?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Nir Piterman; Amir Pnueli; Yaniv Sa’ar
- Publisher
- Springer-Verlag New York Inc
- Published
- 2005
- Language
- EN
- ISBN
- 9783540316220
- Category
- computer science
- Subjects
- Engineering, Mathematics, Language Learning
- Updated
- 2026-03-25
More by Nir Piterman; Amir Pnueli; Yaniv Sa’ar
Browse all works by Nir Piterman; Amir Pnueli; Yaniv Sa’ar
Similar books
- Code Obfuscation Against Abstract Model Checking Attacks — Roberto Bruni; Roberto Giacobazzi; Roberta Gori (2017)
- Automatic Program Repair Using Formal Verification and Expression Templates — Thanh-Toan Nguyen; Quang-Trung Ta; Wei-Ngan Chin (2019)
- Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning — Chenyang Zhu; Jinyu Zhu; Yujie Cai; Fang Wang (2023)
- Computer Aided Verification — Hana Chockler & Georg Weissenbacher (2018)
- Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning — Milad Kazemi; Sadegh Soudjani (2020)
- Solvent Minimized Synthesis of Amides by Reactive Extrusion