Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants

Overview of attention for article published in Journal of Automated Reasoning, November 2018

Altmetric Badge

About this Attention Score

Average Attention Score compared to outputs of the same age
Above-average Attention Score compared to outputs of the same age and source (60th percentile)

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 717 followers.

RT @taylorjohnson: Our new paper "Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants" is availabl…

Our new paper "Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants" is available in @SpringerNature Journal of Automated Reasoning (JAR)! @verivital PDF: https://t.co/r5mfsszKkn DOI: https://t.co/F5VISOUZvf