Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints.
Till HofmannGerhard LakemeyerPublished in: CoRR (2021)
Keyphrases
- temporal constraints
- controller synthesis
- temporal reasoning
- simple temporal
- constraint propagation
- agent programming
- autonomic computing systems
- temporal information
- temporal constraint networks
- decision theoretic
- qualitative and quantitative
- multi agent
- situation calculus
- control system
- constraint satisfaction problems
- interval algebra
- temporal planning
- real time
- closed loop
- workflow systems
- dynamic programming
- autonomic systems