293 search results - page 16 / 59 » Reasoning About States of Probabilistic Sequential Programs |
FAABS
2000
Springer
15 years 1 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
86
Voted
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
— We present an algorithm that probabilistically covers a bounded region of the state space of a nonlinear system with a sparse tree of feedback stabilized trajectories leading t...
AC
2000
Springer
15 years 1 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
93
Voted
ESOP
2011
Springer
14 years 1 months ago
2011
Springer
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...
ESOP
2004
Springer
15 years 2 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...