Sampling-Based Stochastic Optimal Control With Metric Interval Temporal Logic Specifications

doi 10.1109/cca.2016.7587911
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications

2012English

Supervisory Control of Discrete Event Systems With CTL* Temporal Logic Specifications

SIAM Journal on Control and Optimization
ControlApplied MathematicsOptimization
2006English

Interval-Valued Logic Metric Spaces

2018English

Model Checking Cryptographic Protocols With Interval Temporal Logic

Journal of Convergence Information Technology
2010English

Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems With Linear Temporal Logic Specifications

2013English

Synthesizing Adaptive Test Strategies From Temporal Logic Specifications

2016English

Optimal Importance Sampling for Credit Portfolios With Stochastic Approximation

SSRN Electronic Journal
2005English

Parallelizing Synthesis From Temporal Logic Specifications by Identifying Equicontrollable States

Robotics Research
2019English

On-Line Model-Checking for Finite Linear Temporal Logic Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1990English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy