4693 search results - page 813 / 939 » Verifying Hybrid Systems |
86
Voted
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
Conventionally, mobile robots are controlled through an action selection mechanism (ASM) that chooses among multiple proposed actions. This choice can be made in a variety of ways...
91
Voted
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
Cardiovascular disease is one of the leading causes of death in the United States and also a major disease worldwide with over 700,000 coronary artery bypass graft (CABG) procedur...
GPCE
2009
Springer
15 years 5 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
102
click to vote
PADL
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
101
Voted
RE
2001
Springer
15 years 5 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...