Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ioannis Filippidis
Parallelizing Synthesis From Temporal Logic Specifications by Identifying Equicontrollable States
Robotics Research
An Improvement of the Piggyback Algorithm for Parallel Model Checking
Related publications
Synthesizing Adaptive Test Strategies From Temporal Logic Specifications
A Tutorial on Synthesis of Logic Programs From Specifications
Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems With Linear Temporal Logic Specifications
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
Model Synthesis From Imprecise Specifications
Continuous Valuations of Temporal Logic Specifications With Applications to Parameter Optimization and Robustness Measures
Theoretical Computer Science
Computer Science
Theoretical Computer Science
