Temporal synthesis for bounded systems and environments

DOI10.4230/LIPICS.STACS.2011.615MaRDI QIDQ3113724zbMATH OpenFDO

Authors Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis

Publication date 23 January 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_9e6d.html

zbMATH Keywords

strong and weak synthesistemporal specificationtemporal synthesis

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Bounded Synthesis
• Synthesis of succinct systems
• Symbolic bounded synthesis
• Encodings of bounded synthesis
• Synthesis for Probabilistic Environments

Cited in

(15)

• Approximate automata for omega-regular languages
• Encodings of bounded synthesis
• Synthesis for Probabilistic Environments
• Synthesis of succinct systems
• On high-quality synthesis
• Register-bounded synthesis
• Temporal logic based synthesis of experimentally constrained interaction networks
• Synthesizing approximate implementations for unrealizable specifications
• The complexity of LTL rational synthesis
• The complexity of LTL rational synthesis
• Taming large bounds in synthesis from bounded-liveness specifications
• Synthesis with privacy against an observer
• Adapting to the behavior of environments with bounded memory
• Synthesis with privacy against an observer
• Positional-player games

This page was built for publication: Temporal synthesis for bounded systems and environments

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