106 citations · 183 across the 12 of their papers we have counts for
3 papers · 1 filter
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals
Massimo Narizzano, Luca Pulina, Armando Tacchella +1
Property Specification Patterns (PSPs) have been proposed to solve recurring specification needs, to ease the formalization of requirements, and enable automated verification there…
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories
Francesco Leofante, Erika Ábrahám, Tim Niemueller +2
In manufacturing, the increasing involvement of autonomous robots in production processes poses new challenges on the production management. In this paper we report on the usage of…
Ontologies in System Engineering: a Field Report
Marco Menapace, Armando Tacchella
In recent years ontologies enjoyed a growing popularity outside specialized AI communities. System engineering is no exception to this trend, with ontologies being proposed as a ba…