3221 search results - page 157 / 645 » Termination of Linear Programs |
160
click to vote
ENTCS
2010
15 years 3 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
161
click to vote
AAAI
2011
14 years 6 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...
166
click to vote
ICALP
2001
Springer
15 years 10 months ago
2001
Springer
We consider the problem of enumerating all minimal integer solutions of a monotone system of linear inequalities. We first show that for any monotone system of r linear inequaliti...
115
click to vote
ICRA
2009
IEEE
16 years 29 days ago
2009
IEEE
Abstract— We study multi-robot routing problems (MRLDR) where a team of robots has to visit a set of given targets with linear decreasing rewards over time, such as required for ...
164
click to vote
FMCAD
2009
Springer
16 years 26 days ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...