Amanote Research
Register
Sign In
Synthesizing Adaptive Test Strategies From Temporal Logic Specifications
doi 10.1109/fmcad.2016.7886656
Full Text
Open PDF
Abstract
Available in
full text
Date
October 1, 2016
Authors
Roderick Bloem
Robert Konighofer
Ingo Pill
Franz Rock
Publisher
IEEE
Related search
Parallelizing Synthesis From Temporal Logic Specifications by Identifying Equicontrollable States
Robotics Research
Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications
On-Line Model-Checking for Finite Linear Temporal Logic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Sampling-Based Stochastic Optimal Control With Metric Interval Temporal Logic Specifications
Supervisory Control of Discrete Event Systems With CTL* Temporal Logic Specifications
SIAM Journal on Control and Optimization
Control
Applied Mathematics
Optimization
Fuzzy Logic Based Multi User Adaptive Test System
International Journal of Soft Computing and Software Engineering
On Test Derivation From Partial Specifications
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Continuous Valuations of Temporal Logic Specifications With Applications to Parameter Optimization and Robustness Measures
Theoretical Computer Science
Computer Science
Theoretical Computer Science
A Tutorial on Synthesis of Logic Programs From Specifications