8828 search results - page 341 / 1766 » Formal methods in practice |
193
Voted
ENTCS
2006
15 years 6 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
157
click to vote
JMLR
2010
15 years 1 months ago
2010
We consider reinforcement learning as solving a Markov decision process with unknown transition distribution. Based on interaction with the environment, an estimate of the transit...
171
click to vote
FCA
2005
Springer
16 years 8 days ago
2005
Springer
About ten years ago, the first serious applications of concept lattices in software analysis were published. Today, a wide range of applications of concept lattices in static and...
131
click to vote
ICRA
2006
IEEE
16 years 24 days ago
2006
IEEE
— Current approaches to distributed control involving many robots generally restrict interactions to pairs of robots within a threshold distance. While this allows for provable s...
185
click to vote
IROS
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract— In this paper, the coupling between Jacobian learning and task sequencing through the redundancy approach is studied. It is well known that visual servoing is robust to...