Pages that link to "Template:HTDB funding::iCyPhy"

The following pages link to Template:HTDB funding::iCyPhy:

Displayed 11 items.

• An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis (transclusion) ‎ (← links)
• Multi-dimensional state estimation in adversarial environment (transclusion) ‎ (← links)
• Cross-entropy Temporal Logic Motion Planning (transclusion) ‎ (← links)
• Privacy Preserving Average Consensus (transclusion) ‎ (← links)
• A Contract-Based Methodology for Aircraft Electric Power System Design (transclusion) ‎ (← links)
• Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution (transclusion) ‎ (← links)
• Efficient control synthesis for augmented finite transition systems with an application to switching protocols (transclusion) ‎ (← links)
• Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information (transclusion) ‎ (← links)
• Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed (transclusion) ‎ (← links)
• Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity (transclusion) ‎ (← links)
• Template:HTDB funding::MuSyC, iCyPhy (transclusion) ‎ (← links)