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

Partial Satisfaction

Preferences on Partial Satisfaction using Weighted Signal Temporal Logic Specifications

Tags: 
Formal Methods
Signal Temporal Logic
Weighted Signal Temporal Logic
Partial Satisfaction
Mixed Integer Linear Programming
Multi-Robot Systems
  • Read more about Preferences on Partial Satisfaction using Weighted Signal Temporal Logic Specifications

Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-Robot Systems

Abstract Syntax Tree
Tags: 
Formal Methods
Signal Temporal Logic
Partial Satisfaction
Mixed Integer Linear Programming
Multi-Robot Systems
  • Read more about Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-Robot Systems
Subscribe to RSS - Partial Satisfaction