Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by D. Kroening
Reinforcement Learning for Temporal Logic Control Synthesis With Probabilistic Satisfaction Guarantees
Fault Tolerance Tradeoffs in Moving From Decentralized to Centralized Embedded Systems
Specifying and Verifying Systems With Multiple Clocks
Related publications
Probabilistic Temporal Logic for Motion Planning With Resource Threshold Constraints
Probabilistic Inference for Determining Options in Reinforcement Learning
Machine Learning
Artificial Intelligence
Software
Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems With Linear Temporal Logic Specifications
Probabilistic Performance Guarantees for Distributed Self-Assembly
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Reinforcement Learning for Decentralized Stochastic Control
Top-K Query Evaluation With Probabilistic Guarantees
Probabilistic Discrimination Learning of a Sequential Reinforcement Pattern
Psychonomic Science
Robust Satisfaction of Temporal Logic Over Real-Valued Signals
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models
