2 search results - page 1 / 1 » ROC Optimisation of Safety Related Systems |
ROCAI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Many safety related and critical systems warn of potentially dangerous events; for example the Short Term Conflict Alert (STCA) system warns of airspace infractions betw...
KR
2000
Springer
13 years 8 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...