FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Capturing abscondings

Author: Andrea Ferrara

Paper Information

Title:Capturing abscondings
Authors:Andrea Ferrara
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:law enforcement, graph theory, formal methods, game theory
Pages:1
Talk:Aug 01 11:20 (Session 31Q)
Paper: