Verifying Cake-Cutting, Faster.

Noah Bertram Tean Lai Justin Hsu

Published in: CAV (2) (2024)

Keyphrases

model checking
highly efficient
image processing
case study
control system
cutting tool
genetic algorithm
trade off
evolutionary algorithm
memory efficient