2 citations · 3 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018
SMarTplan: a Task Planner for Smart Factories
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina +2
Smart factories are on the verge of becoming the new industrial paradigm, wherein optimization permeates all aspects of production, from concept generation to sales. To fully pursu…
cs.LO2018
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
Erika Abraham, Borzoo Bonakdarpour
In this paper, we propose a new logic for expressing and reasoning about probabilistic hyperproperties. Hyperproperties characterize the relation between different independent exec…