Skip to main content
  • Home
  • Bio
  • Publications
  • Projects
  • Get in touch

User Preferences

Automata-based Optimal Planning with Relaxed Specifications

Tags: 
Automata
User Preferences
Control Synthesis
Temporal Relaxation
Time-Window Temporal Logic
Linear Temporal Logic
  • Read more about Automata-based Optimal Planning with Relaxed Specifications

Specifying User Preferences using Weighted Signal Temporal Logic

Tags: 
Signal Temporal Logic
User Preferences
Control Synthesis
Model Predictive Control
Mixed Integer Linear Programming
  • Read more about Specifying User Preferences using Weighted Signal Temporal Logic
Subscribe to RSS - User Preferences