scientific article; zbMATH DE number 2086659

MaRDI QIDQ4737196zbMATH OpenFDO

Authors Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang, Thomas A. Henzinger

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2380/23800644.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Asynchronous system synthesis
• Synthesis of Asynchronous Systems
• Synthesis of Persistent Systems
• Lectures on Concurrency and Petri Nets
• Synthesis of succinct systems
• Synthesis of succinct systems
• Synthesizing non-vacuous systems
• scientific article; zbMATH DE number 3249789
• scientific article; zbMATH DE number 3922444
• scientific article; zbMATH DE number 56469

Cited in

(7)

• Synthesis of succinct systems
• Graph Games and Reactive Synthesis
• A survey of stochastic -regular games
• Synthesis of Persistent Systems
• Synthesis with privacy against an observer
• Synthesis with privacy against an observer
• Harmonization of interacting automata

This page was built for publication:

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