Pages that link to "Item:Q671584"

The following pages link to A temporal logic approach to discrete event control for the safety canonical class (Q671584):

Displaying 2 items.

• Optimal control of multi-task Boolean control networks via temporal logic (Q2242936) (← links)
• Syntax-based synthesis for temporal-safety supervision (Q2573941) (← links)