3081 search results - page 441 / 617 » A Formal Ontology of Properties |
134
click to vote
CAV
2007
Springer
16 years 22 days ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
161
click to vote
DALT
2007
Springer
16 years 21 days ago
2007
Springer
A rational agent derives its choice of action from its beliefs and goals. Goals can be distinguished into achievement goals and maintenance goals. The aim of this paper is to defi...
168
click to vote
FCT
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The simple intramolecular model for gene assembly in ciliates is particularly interesting because it can predict the correct assembly of all available experimental data, ...
146
click to vote
FMCAD
2007
Springer
16 years 21 days ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
139
click to vote
FORMATS
2007
Springer
16 years 21 days ago
2007
Springer
We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal l...