Upper and lower bounds on sizes of finite bisimulations of Pfaffian hybrid systems

M Korovina, N Vorobjov

Research output: Chapter or section in a book/report/conference proceedingChapter or section

9 Citations (SciVal)

Fingerprint

Dive into the research topics of 'Upper and lower bounds on sizes of finite bisimulations of Pfaffian hybrid systems'. Together they form a unique fingerprint.

Mathematics

Computer Science