Fixpoint

MaRDI QIDQ44983swMATHFDO

Official website http://pop-art.inrialpes.fr/people/bjeannet/bjeannet-forge/fixpoint/

Cited in

(3)

• SMACS
• Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
• Decentralized control of infinite systems

This page was built for software: Fixpoint