Adapting behaviors via reactive synthesis

DOI10.1007/978-3-030-81685-8_41zbMath1493.68201arXiv2105.13837OpenAlexW3184451432MaRDI QIDQ832238

Gera Weiss, Dror Fried, Lucas Martinelli Tabajara, Suguman Bansal, Moshe Y. Vardi, Gal Amram

Publication date: 25 March 2022

Full work available at URL: https://arxiv.org/abs/2105.13837

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• CUDD
• Strix

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Synthesis of Reactive(1) designs
• Shield synthesis
• Automata, logics, and infinite games. A guide to current research
• Automatic Sequences and Zip-Specifications
• Graph-Based Algorithms for Boolean Function Manipulation
• Sequential Relational Decomposition
• Synthesis of asynchronous reactive programs from temporal specifications

This page was built for publication: Adapting behaviors via reactive synthesis