Sander J.J. Leemans

1 paper in the IJCAI proceedings

IJCAI 2023

Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)

with Fabrizio M. Maggi, Marco Montali

doi:10.24963/ijcai.2023/719

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings