Reactive synthesis for expected impacts

DOI10.4204/EPTCS.409.7MaRDI QIDQ6940523zbMATH OpenFDO

Authors Emanuele Chini, Pietro Sala, Andrea Simonetti, Omid Zare

Publication date 19 August 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4204/EPTCS.409.7

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Theory of organizations, manpower planning in operations research (90B70)

Cites work

• A complete anytime algorithm for number partitioning
• A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
• Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.
• Energy and Mean-Payoff Parity Markov Decision Processes
• scientific article; zbMATH DE number 3557247 (Why is no real title available?)
• Infinite-state energy games
• On the synthesis of strategies in infinite games
• Reachability in Succinct and Parametric One-Counter Automata
• The complexity of mean payoff games on graphs

This page was built for publication: Reactive synthesis for expected impacts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6940523)