Lukasz Podolski

According to our database, Lukasz Podolski authored at least 3 papers between 2017 and 2018.

Collaborative distances:

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

2018

Discrete-Time Systems Modeling and Verification With Alvis Language and Tools.

Marcin Szpyrka, Michal Wypych, Jerzy Biernacki, Lukasz Podolski

IEEE Access, 2018

2017

Modelling and Verification of Real-Time Systems with Alvis.

Marcin Szpyrka, Lukasz Podolski, Michal Wypych

Proceedings of the Towards a Synergistic Combination of Research and Practice in Software Engineering [papers from KKIO 2017, 2017

Simulation of Multi-agent Systems with Alvis Toolkit.

Marcin Szpyrka, Piotr Matyasik, Lukasz Podolski, Michal Wypych

Proceedings of the Artificial Intelligence and Soft Computing, 2017