Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Felipe J. Montana
Sampling-Based Stochastic Optimal Control With Metric Interval Temporal Logic Specifications
Related publications
Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications
Supervisory Control of Discrete Event Systems With CTL* Temporal Logic Specifications
SIAM Journal on Control and Optimization
Control
Applied Mathematics
Optimization
Interval-Valued Logic Metric Spaces
Model Checking Cryptographic Protocols With Interval Temporal Logic
Journal of Convergence Information Technology
Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems With Linear Temporal Logic Specifications
Synthesizing Adaptive Test Strategies From Temporal Logic Specifications
Optimal Importance Sampling for Credit Portfolios With Stochastic Approximation
SSRN Electronic Journal
Parallelizing Synthesis From Temporal Logic Specifications by Identifying Equicontrollable States
Robotics Research
On-Line Model-Checking for Finite Linear Temporal Logic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
