12 search results - page 3 / 3 » Heuristic Search for Generalized Stochastic Shortest Path MD... |
EUROCAST
2007
Springer
13 years 8 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
IUI
2009
ACM
14 years 1 months ago
2009
ACM
Recent years have seen a resurgence of interest in programming by demonstration. As end users have become increasingly sophisticated, computer and artificial intelligence technolo...