Jan Calta

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Jan Calta, Dmitry Shkatov
Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information. CLIMA (2011)
Jan Calta
Formal Verification of Self-Organizing Systems. AlgoSyn (2010)
Jan Calta, Dmitry Shkatov, Bernd-Holger Schlingloff
Finding Uniform Strategies for Multi-agent Systems. CLIMA (2010)
Jan Calta, Miroslaw Malek
Formal Analysis of Fault Recovery in Self-Organizing Systems. DASC (2009)