Author of the publication

Specialist Cops Catching Robbers on Complex Networks.

, , , and . COMPLEX NETWORKS (1), volume 812 of Studies in Computational Intelligence, page 731-742. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Specialist Cops Catching Robbers on Complex Networks., , , and . COMPLEX NETWORKS (1), volume 812 of Studies in Computational Intelligence, page 731-742. Springer, (2018)Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application., , and . COMSNETS, page 720-725. IEEE, (2019)DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs., , and . PRIMA, volume 11873 of Lecture Notes in Computer Science, page 627-634. Springer, (2019)Multi-Attribute Queries for Stochastic Multi Agent Systems over Short Time Horizons., and . ANNSIM, page 1-12. IEEE, (2021)Statistical Model Checking for Probabilistic Temporal Epistemic Logics., and . ICAART (1), page 53-63. SCITEPRESS, (2022)Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems., and . PRIMA, volume 12568 of Lecture Notes in Computer Science, page 420-427. Springer, (2020)Traffic Intersections as Agents: A model checking approach for analysing communicating agents., , , and . SAC, page 109-118. ACM, (2023)