Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tichakorn Wongpiromsarn
Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems With Linear Temporal Logic Specifications
Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle
Related publications
Supervisory Control of Discrete Event Systems With CTL* Temporal Logic Specifications
SIAM Journal on Control and Optimization
Control
Applied Mathematics
Optimization
Containment Control of Singular Heterogeneous Multi-Agent Systems
Journal of the Franklin Institute
Control
Systems Engineering
Signal Processing
Computer Networks
Applied Mathematics
Communications
On-Line Model-Checking for Finite Linear Temporal Logic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
H∞ Control Design for Synchronisation of Identical Linear Multi-Agent Systems
International Journal of Control
Control
Systems Engineering
Computer Science Applications
Sampling-Based Stochastic Optimal Control With Metric Interval Temporal Logic Specifications
Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Concurrent Multi-Agent Systems With Temporal Logic Objectives: Game Theoretic Analysis and Planning Through Negotiation
IET Control Theory and Applications
Control
Systems Engineering
Human-Computer Interaction
Optimization
Electronic Engineering
Computer Science Applications
Electrical
Parallelizing Synthesis From Temporal Logic Specifications by Identifying Equicontrollable States
Robotics Research
