646 search results - page 48 / 130 » Hybrid decision diagrams |
SIGMETRICS
2000
ACM
14 years 1 months ago
2000
ACM
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
LOGCOM
2007
13 years 8 months ago
2007
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In the aftermath of a large-scale disaster, agents’ decisions derive from self-interested (e.g. survival), common-good (e.g. victims’ rescue) and teamwork (e.g. fire...
FUZZIEEE
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— In the resolution of group decision making problems the consensus process, that is, the process where experts discuss about the alternatives to narrow their differences...