Principled Network Reliability Approximation: A Counting-Based Approach

Autor: Paredes, R., Duenas-Osorio, L., Meel, K. S., Vardi, M. Y.

As engineered systems expand, become more interdependent, and operate in real-time, reliability assessment is indispensable to support investment and decision making. However, network reliability problems are known to be #P-complete, a computational

Externí odkaz: http://arxiv.org/abs/1806.00917

Synthesis of Orchestrations of Transducers for Manufacturing

Autor: Giacomo, G., Vardi, M. Y., Paolo Felli, Alechina, N., Logan, B.

Publikováno v: Scopus-Elsevier

In this paper, we model manufacturing processes and facilities as transducers (automata with output). The problem of whether a given manufacturing process can be realized by a given set of manufacturing resources can then be stated as an orchestratio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d9c1bb4ed88cf90d30671bdadc16ae8
http://hdl.handle.net/11573/1182867

This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction

Autor: Lahijanian, M., Almagor, S., Fried, D., Lydia Kavraki, Vardi, M. Y.

Publikováno v: Scopus-Elsevier

The specification of complex motion goals through temporal logics is increasingly favored in robotics to narrow the gap between task and motion planning. A major limiting factor of such logics, however, is their Boolean satisfaction condition. To rel

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8077503a3b842618bdf63aa51ee6096c
https://doi.org/10.1609/aaai.v29i1.9670

Node selection query languages for trees

Autor: Calvanese, D., Giacomo, G., Maurizio Lenzerini, Vardi, M. Y.

Publikováno v: Scopus-Elsevier

The study of node-selection query languages for (finite) trees has been a major topic in the recent research on query lan- guages for Web documents. On one hand, there has been an extensive study of XPath and its various extensions. On the other hand

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::39bc02efed4be08e69b8a46ddf789e46
http://hdl.handle.net/11573/194283

Spatial databases : the final frontier

Autor: Paredaens, J., Gottlob, G., Vardi, M. Y.

Publikováno v: Database Theory — ICDT '95 ISBN: 9783540589075
ICDT
Database Theory-ICDT'95 (Proceedings 5th International Conference, Prague, Czech Republic, January 11-13, 1995), 14-32
STARTPAGE=14;ENDPAGE=32;TITLE=Database Theory-ICDT'95 (Proceedings 5th International Conference, Prague, Czech Republic, January 11-13, 1995)
Database theory

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d232ee70fc7883a9d97566ea15c2e6f
https://doi.org/10.1007/3-540-58907-4_2