Home - Science - Temporal Logic |
Page 6 101-104 of 104 Back | 1 | 2 | 3 | 4 | 5 | 6 |
101. Discrete Event Models + Temporal Logic = Supervisory Controller Discrete Event Models + temporal logic = Supervisory Controller AutomaticSynthesis of Locomotion Controllers. M. Antoniotti and http://csdocs.cs.nyu.edu/Dienst/UI/2.0/Describe/ncstrl.nyu_cs/TR1994-675 |
102. ECS EPrints Database - Propositional Linear Temporal Logic And Propositional Linear temporal logic and Language. Nitsche, Ulrich (1994)Propositional Linear temporal logic and Language. In Nerode http://eprints.ecs.soton.ac.uk/archive/00002676/ |
103. Manchester Metropolitan University Department of Computing and Mathematics, logic and Computation Group. Research projects Proof Methods for NonClassical logics; temporal and Modal logics; Programming Language Design; Agent-Based Systems. Members, research interests, bibliography. http://www.doc.mmu.ac.uk/RESEARCH/LoCo/ |
104. Verification Of Reactive Systems And Decision Problems In Verification of Reactive Systems and Decision Problems in TemporalLogic. Author Salvatore La Torre. Advisor Rajeev Alur. We study http://www.cis.upenn.edu/~latorre/Thesisdissertation/latorrethesis.html |
Page 6 101-104 of 104 Back | 1 | 2 | 3 | 4 | 5 | 6 |