7167 search results - page 589 / 1434 » Answer Set Programming |
153
click to vote
IEE
2008
15 years 5 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
140
click to vote
AAAI
2011
14 years 5 months ago
2011
The standard approach to computing an optimal mixed strategy to commit to is based on solving a set of linear programs, one for each of the follower’s pure strategies. We show t...
145
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
145
click to vote
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
136
click to vote
ESOP
2003
Springer
15 years 10 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...