T. Lasica

According to our database, T. Lasica authored at least 2 papers between 2002 and 2004.

Collaborative distances:

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

2004

Verifying Multi-agent Systems via Unbounded Model Checking.

Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter

Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

2002

Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results.

Alessio Lomuscio, T. Lasica, Wojciech Penczek

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002