Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Probabilistic temporal databases, I: algebra
Dekhtyar, Alex, Ross, Robert, Subrahmanian, V. S.
Published in ACM transactions on database systems (01.03.2001)
Published in ACM transactions on database systems (01.03.2001)
Get full text
Journal Article
ANALYSIS OF APPROACHES TO THE SIMULATION AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS
Korotunov, S. U., Tabunshchyk, G. V.
Published in Radìoelektronika, informatika, upravlìnnâ (06.11.2020)
Published in Radìoelektronika, informatika, upravlìnnâ (06.11.2020)
Get full text
Journal Article
Optimal Control with Weighted Average Costs and Temporal Logic Specifications
Published in Robotics
(2013)
Get full text
Book Chapter
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
Year of Publication 2010
Get full text
Conference Proceeding
PheValuator: Development and evaluation of a phenotype algorithm evaluator
Swerdel, Joel N., Hripcsak, George, Ryan, Patrick B.
Published in Journal of biomedical informatics (01.09.2019)
Published in Journal of biomedical informatics (01.09.2019)
Get full text
Journal Article
Towards high-level fuzzy control specifications for building automation systems
Vidal, Juan C., Carreira, Paulo, Amaral, Vasco, Aguiam, Joao, Sousa, João
Published in Software and systems modeling (01.05.2020)
Published in Software and systems modeling (01.05.2020)
Get full text
Journal Article
Online Control Synthesis for Uncertain Systems under Signal Temporal Logic Specifications
Yu, Pian, Gao, Yulong, Jiang, Frank J, Johansson, Karl H, Dimarogonas, Dimos V
Year of Publication 16.03.2021
Year of Publication 16.03.2021
Get full text
Journal Article