A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
Barveau, M., Kabanza, F., St.-Denis, R.
Published in IEEE transactions on automatic control (01.11.1998)
Published in IEEE transactions on automatic control (01.11.1998)
Get full text
Journal Article