Back to Results
First PageMeta Content
Linear temporal logic / Temporal logic / Dynamical system / Theoretical philosophy / Reality


PERMISSIVE CONTROLLER SYNTHESIS FOR PROBABILISTIC SYSTEMS ¨ ˇ KLAUS DRAGER, VOJTECH
Add to Reading List

Document Date: 2015-04-22 07:56:09


Open Document

File Size: 494,62 KB

Share Result on Facebook