Login / Signup

The Futures of Reactive Synthesis (Dagstuhl Seminar 23391).

Nathanaël FijalkowBernd FinkbeinerGuillermo A. PérezElizabeth PolgreenRémi Morvan
Published in: Dagstuhl Reports (2023)
Keyphrases
  • program synthesis
  • machine learning
  • database
  • search engine
  • social networks
  • image processing
  • three dimensional
  • database systems
  • cooperative
  • texture synthesis
  • event driven
  • reactive agents