Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion

Documenti analoghi

• Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion
  di: Feeken, Linda, et al.
  Pubblicazione: (2024)
• Modular many-valued semantics for combined logics
  di: Caleiro, Carlos, et al.
  Pubblicazione: (2022)
• Generating proof systems for three-valued propositional logics
  di: Greati, Vitor, et al.
  Pubblicazione: (2024)
• The interdefinability of expansions of Belnap-Dunn logic
  di: Middelburg, C. A.
  Pubblicazione: (2024)
• On the Existence of Reactive Strategies Resilient to Delay
  di: Fränzle, Martin, et al.
  Pubblicazione: (2023)