Sciweavers

31387 search results - page 133 / 6278
» Abstracts
Sort
View
APN
2007
Springer
15 years 8 months ago
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
Pierre Ganty, Jean-François Raskin, Laurent...
56
Voted
ATAL
2007
Springer
15 years 8 months ago
Utility-based plan recognition: an extended abstract
Dorit Avrahami-Zilberbrand, Gal A. Kaminka
101
Voted
ATVA
2007
Springer
77views Hardware» more  ATVA 2007»
15 years 8 months ago
Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...