Pages that link to "Efficient control synthesis for augmented finite transition systems with an application to switching protocols"
From Murray Wiki
Jump to navigationJump to search
The following pages link to Efficient control synthesis for augmented finite transition systems with an application to switching protocols:
Displayed 2 items.
View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)- Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems (← links)
- Preprint archive (← links)