Buscar
Mostrando ítems 1-10 de 2524
Finite LTL Synthesis as Planning
(2018)
LTL synthesis is the task of generating a strategy that satisfies a Linear Temporal Logic (LTL) specification interpreted over infinite traces. In this paper we examine the problem of LTLf synthesis, a variant of LTL ...
On the synthesis of inorganic chemical and metallurgical processes. Review and extension
(PERGAMON-ELSEVIER SCIENCE LTD, 1999)
A review and extension of process synthesis principles to inorganic chemicals and extractive metallurgical operations is presented. It is shown that the conceptualization of extractive metallurgy and inorganic chemical ...