Jan Calta

According to our database, Jan Calta authored at least 4 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information.

Jan Calta, Dmitry Shkatov

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010

Formal Verification of Self-Organizing Systems.

Jan Calta

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

Finding Uniform Strategies for Multi-agent Systems.

Jan Calta, Dmitry Shkatov, Bernd-Holger Schlingloff

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2009

Formal Analysis of Fault Recovery in Self-Organizing Systems.

Jan Calta, Miroslaw Malek

Proceedings of the Eighth IEEE International Conference on Dependable, 2009