( en | de | ru )

 

Disambiguation of "Wright, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Property-Directed Verified Monitoring of Signal Temporal Logic.

, and . RV, volume 12399 of Lecture Notes in Computer Science, page 339-358. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wright Jacob

Glenn Wright

Gabriele Wright

Michael Wright

Edward Wright

 

Other publications of authors with the same name

What's at Stake in the American Empire Debate, and . American Political Science Review, 101 (2): 253--271 (May 2007)On Cantor's First Uncountability Proof, Pick's Theorem, and the Irrationality of the Golden Ratio., and . The American Mathematical Monthly, 117 (7): 633-637 (2010)Security, privacy, and anonymity.. ACM Crossroads, 11 (2): 5 (2004)State terrorism in Latin America : Chile, Argentina, and international human rights. Rowman & Littlefield, Lanham, (2007)Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic., and . CoRR, (2020)Property-Directed Verified Monitoring of Signal Temporal Logic., and . RV, volume 12399 of Lecture Notes in Computer Science, page 339-358. Springer, (2020)Robotic Exploration of an Unknown Nuclear Environment Using Radiation Informed Autonomous Navigation., , , , and . Robotics, 10 (2): 78 (2021)Algorithmic Approach to Planar Void Detection and Validation in Point Clouds., and . TAROS, volume 10454 of Lecture Notes in Computer Science, page 526-539. Springer, (2017)Autonomous void detection and characterisation in point clouds and triangular meshes., , , and . Int. J. Comput. Vis. Robotics, 9 (4): 368-386 (2019)Simulating Ionising Radiation in Gazebo for Robotic Nuclear Inspection Challenges., , , , and . Robotics, 10 (3): 86 (2021)