temporal logic - Globe Thesis

Keyword [temporal logic] Result: 141 - 160 \| Page: 8 of 9
141.	Formal synthesis of control and communication schemes
142.	A Modular ROS package for Linear Temporal Logic based Motion Planning
143.	A Graphical Language for LTL Motion and Mission Planning
144.	Supervisory control and failure diagnosis of discrete event systems: A temporal logic approach
145.	Verification of reactive systems and decision problems in temporal logic
146.	Model checking for a first-order temporal logic using multiway decision graphs
147.	Interval and point-based approaches to hybrid system verification
148.	Fuzzy time and its applications
149.	Specification of distributed programs using temporal interval logic
150.	A THEORY OF PROCESSES (MODEL, PROOF SYSTEM, PROGRAMMING LANGUAGE, PROGRAM SYNTHESIS, TEMPORAL LOGIC)
151.	A MODAL TEMPORAL LOGIC FOR REASONING ABOUT CHANGING DATABASES WITH APPLICATIONS TO NATURAL LANGUAGE QUESTION ANSWERING (ARTIFICIAL INTELLIGENCE)
152.	Formal methods for motion planning and control in dynamic and partially known environments
153.	Formal verification and controller synthesis for discrete-time systems
154.	Control of Dynamical Systems with Temporal Logic Specifications
155.	Model Checking Timed Interval Temporal Logic: Theory, Algorithms And Application
156.	Research On Automatic Extraction And Verification Of STL Properties For Simulink Models
157.	Research On The Transformation Method From Natural Language Text To PPTL Formula
158.	Research On The Property Verification Framework Of Adversarial Attacks On MSVL
159.	Analysis Of Linear Temporal Logic Over Finite Traces
160.	Design And Implementation Of MSVL Compiler Under 64-bit Windows System
<<First <Prev Next> Last>> Jump to