We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extension of the possible state variable domains. After implementing both breadth-first and saturationbased state-space generation with this new data structure in our tool SmArT, we are able to exhibit substantial efficiency ...

Energy sector is not excluded from the recession in global economics. However, one can be stable during such outbreak was gold prices which showed incredible and relatively increasing. That also affected on daily stock for producing companies as PT Aneka Tambang (issuer code: ANTM) that conversely increasing than other mining companies. This study aims to investigate causal relationships betwee...

In this paper an optimal control problem is considered, where the control variable lies in a measure space and the state variable fulfills an elliptic equation. This formulation leads to a sparse structure of the optimal control. In this setting we prove a new regularity result for the optimal state and the optimal control. Moreover, a finite element discretization based on [E. Casas, C. Clason...

The hidden-variable (h.v.) question is whether or not various properties — randomness or correlation, for example — that are observed in the outcomes of an experiment can be explained via introduction of extra (hidden) variables which are unobserved by the experimenter. The question can be asked in both the classical and quantum domains. In the latter, it is fundamental to the interpretation of...