Sciweavers

Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
Recent countries visiting this post
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
us4United States
ru1Russian Federation