32 citations · 104 across the 17 of their papers we have counts for
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013★ 17 cited
HyLTL: a temporal logic for model checking hybrid systems
Davide Bresolin
The model-checking problem for hybrid systems is a well known challenge in the scientific community. Most of the existing approaches and tools are limited to safety properties only…
cs.LO2013★ 3 cited
Improving HyLTL model checking of hybrid systems
Davide Bresolin
The problem of model-checking hybrid systems is a long-time challenge in the scientific community. Most of the existing approaches and tools are either limited on the properties th…