HRELTL: A temporal logic for hybrid systems

Abstract

Article history: Received 28 February 2014 Received in revised form 15 October 2014 Available online 23 June 2015 
DOI: 10.1016/j.ic.2015.06.006

Topics

2 Figures and Tables

Statistics

010203020162017
Citations per Year

Citation Velocity: 9

Averaging 9 citations per year over the last 2 years.

Learn more about how we calculate this metric in our FAQ.

Slides referencing similar topics