weighted ctl
Recently Published Documents

TOTAL DOCUMENTS

2
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Efficient model-checking of weighted CTL with upper-bound constraints

2014 ◽  
Vol 18 (4) ◽  
pp. 409-426 ◽  
Author(s):  
Jonas Finnemann Jensen ◽  
Kim Guldstrand Larsen ◽  
Jiří Srba ◽  
Lars Kaerlund Oestergaard
Keyword(s):  
Model Checking ◽  
Upper Bound ◽  
Bound Constraints ◽  
Weighted Ctl

scholarly journals Local Model Checking of Weighted CTL with Upper-Bound Constraints

2013 ◽  
pp. 178-195 ◽  
Author(s):  
Jonas Finnemann Jensen ◽  
Kim Guldstrand Larsen ◽  
Jiří Srba ◽  
Lars Kaerlund Oestergaard
Keyword(s):  
Model Checking ◽  
Upper Bound ◽  
Local Model ◽  
Bound Constraints ◽  
Weighted Ctl ◽  
Local Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document