Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

46
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319955810, 9783319955827
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

CompoSAT: Specification-Guided Coverage for Model Finding

2018 ◽  
pp. 568-587 ◽  
Author(s):  
Sorawee Porncharoenwase ◽  
Tim Nelson ◽  
Shriram Krishnamurthi
Keyword(s):  
Model Finding

scholarly journals Multi-robot LTL Planning Under Uncertainty

2018 ◽  
pp. 399-417 ◽  
Author(s):  
Claudio Menghi ◽  
Sergio Garcia ◽  
Patrizio Pelliccione ◽  
Jana Tumova
Keyword(s):  
Planning Under Uncertainty ◽  
Multi Robot

Timed Vacuity

2018 ◽  
pp. 438-455
Author(s):  
Hana Chockler ◽  
Shibashis Guha ◽  
Orna Kupferman

scholarly journals A Weakness Measure for GR(1) Formulae

2018 ◽  
pp. 110-128 ◽  
Author(s):  
Davide Giacomo Cavezza ◽  
Dalal Alrajeh ◽  
András György
Load More ...
Sign in / Sign up

Export Citation Format

Share Document