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 conference › Paper

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.
View full fingerprint

Cite this