Computing bisimulation functions using SOS optimization and $\delta$-decidability over the reals

Abhishek Murthy, Md Islam, Scott A Smolka, Radu Grosu

Research output: Contribution to conferencePaper

Original languageEnglish
StatePublished - 2015

Fingerprint Dive into the research topics of 'Computing bisimulation functions using SOS optimization and $\delta$-decidability over the reals'. Together they form a unique fingerprint.

  • Cite this