5 citations · 7 across the 2 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018
Situation Calculus for Synthesis of Manufacturing Controllers
Giuseppe De Giacomo, Brian Logan, Paolo Felli +2
Manufacturing is transitioning from a mass production model to a manufacturing as a service model in which manufacturing facilities 'bid' to produce products. To decide whether to…
cs.LO2018
Resource Logics with a Diminishing Resource
Natasha Alechina, Brian Logan
Model-checking resource logics with production and consumption of resources is a computationally hard and often undecidable problem. We introduce a simple and realistic assumption…