57 search results - page 3 / 12 » Assume-Guarantee Verification for Probabilistic Systems |
PAMI
2002
13 years 7 months ago
2002
A modular system to recognize handwritten numerical strings is proposed. It uses a segmentation-based recognition approach and a Recognition and Verification strategy. The approach...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
CAV
2005
Springer
14 years 29 days ago
2005
Springer
QEST
2010
IEEE
13 years 5 months ago
2010
IEEE
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Counterexample-guided abstraction refinement (CEGAR) has been en vogue for the automatic verification of very large systems in the past years. When trying to apply CEGAR to the ver...