Fixpoint

swMATH33274MaRDI QIDQ44983FDOQ44983

Author name not available (Why is that?)

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