180 search results - page 18 / 36 » Loop Invariants on Demand |
IJCAI
1989
13 years 9 months ago
1989
Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
AUTOMATICA
2007
13 years 8 months ago
2007
This paper investigates the effects of undercompensation and overcompensation of friction in PD controlled 1DOF mechanical systems. The friction force that is acting on the mechan...
PTS
2010
13 years 5 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
This research concerns fundamental performance limitations in control of discrete time nonlinear systems. The fundamental limitations are expressed in terms of the average cost of ...