Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction.
Xinyi YuYiqi ZhaoXiang YinLars LindemannPublished in: CoRR (2023)
Keyphrases
- temporal logic
- model checking
- dynamic constraints
- dynamic environments
- satisfiability problem
- multi agent systems
- modal logic
- multi agent
- computation tree logic
- reactive systems
- conformal prediction
- mazurkiewicz traces
- verification method
- epistemic logic
- transition systems
- formal specification language
- ridge regression
- search algorithm