Exploiting interleaving semantics in symbolic state-space generation

By Ciardo Gianfranco   Lüttgen Gerald   Miner Andrew  

Formal Methods in System Design, Vol. 31, Iss. 1, 2007-08 ,pp. : 63-100

Springer Publishing Company

Access to resources Recommend Favorite

Optimistic synchronization-based state-space reduction

By Stoller Scott   Cohen Ernie  

Formal Methods in System Design, Vol. 28, Iss. 3, 2006-05 ,pp. : 263-289

Springer Publishing Company

Access to resources Recommend Favorite

A new look at state-space models for neural data

By Paninski Liam   Ahmadian Yashar   Ferreira Daniel   Koyama Shinsuke   Rahnama Rad Kamiar   Vidne Michael   Vogelstein Joshua   Wu Wei  

Journal of Computational Neuroscience, Vol. 29, Iss. 1-2, 2010-08 ,pp. : 107-126

Springer Publishing Company

Access to resources Recommend Favorite

Coordinated learning in multiagent MDPs with infinite state-space

By Melo Francisco  

Autonomous Agents and Multi-Agent Systems, Vol. 21, Iss. 3, 2010-11 ,pp. : 321-367

Springer Publishing Company

Access to resources Recommend Favorite

Gene Regulatory Network modelling: a state-space approach

By Wu Fang-Xiang  

International Journal of Data Mining and Bioinformatics, Vol. 2, Iss. 1, 2008-01 ,pp. : 1-14

Inderscience Publishers

Access to resources Recommend Favorite