7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2021
Addressing Machines as models of lambda-calculus
Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto
Turing machines and register machines have been used for decades in theoretical computer science as abstract models of computation. Also the -calculus has played a central role…
cs.AI2010★ 7 cited
Resource-Optimal Planning For An Autonomous Planetary Vehicle
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni +1
Autonomous planetary vehicles, also known as rovers, are small autonomous vehicles equipped with a variety of sensors used to perform exploration and experiments on a planet's surf…