Sciweavers

15885 search results - page 196 / 3177
» The Modest Software Engineer
Sort
View
FATES
2006
Springer
15 years 10 months ago
Robustness of Temporal Logic Specifications
Georgios E. Fainekos, George J. Pappas
FATES
2006
Springer
15 years 10 months ago
Online Testing with Reinforcement Learning
Margus Veanes, Pritam Roy, Colin Campbell
FOSSACS
2006
Springer
15 years 10 months ago
A Theory for Observational Fault Tolerance
Adrian Francalanza, Matthew Hennessy