Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Aurélien Rizk
Continuous Valuations of Temporal Logic Specifications With Applications to Parameter Optimization and Robustness Measures
Theoretical Computer Science
Computer Science
Theoretical Computer Science
On Temporal Logic Constraint Solving for Analyzing Numerical Data Time Series
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Related publications
Supervisory Control of Discrete Event Systems With CTL* Temporal Logic Specifications
SIAM Journal on Control and Optimization
Control
Applied Mathematics
Optimization
Synthesizing Adaptive Test Strategies From Temporal Logic Specifications
Sampling-Based Stochastic Optimal Control With Metric Interval Temporal Logic Specifications
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
Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems With Linear Temporal Logic Specifications
Generating Sequences of Valuations and Applications
Robustness of Acoustic Scattering Cancellation to Parameter Variations
Sustainability
Development
Management
Monitoring
Environmental Science
Renewable Energy
Energy Engineering
Law
Sustainability
Planning
Policy
Power Technology
the Environment
Geography
