1454 search results - page 43 / 291 » Stateful traits and their formalization |
149
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
115
Voted
ESOP
2011
Springer
14 years 4 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...
105
click to vote
IAT
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper extends the link between evolutionary game theory and multi-agent reinforcement learning to multistate games. In previous work, we introduced piecewise replicator dynam...
FMICS
2007
Springer
15 years 6 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
108
Voted
ETFA
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...