481 search results - page 15 / 97 » Differential symbolic execution |
100
Voted
AGENTS
2001
Springer
15 years 2 months ago
2001
Springer
Autonomous robots, such as robot office couriers, need navigation routines that support flexible task execution and effective action planning. This paper describes XFRMLEARN, a s...
ACSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
In the last few years, several approaches have been proposed to perform vulnerability analysis of applications written in high-level languages. However, little has been done to au...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
100
click to vote
DAC
1997
ACM
15 years 1 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
103
click to vote
AUTOMATICA
2008
14 years 10 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...