Wojtek Jamroga

About

Description is not available.

Uploaded videos

Automated Verification of Multi-Agent Systems. Why, What, and Especially: How?

Catalina Dima,

Wojtek Jamroga

2023-09-01

·

6 Views