Author:Thitivatr Patanasakpinyo

Publications

Keyphrases

adaptive system, Address Verification2, algorithm, classification model, Computation Tree Logic, Coverage area, deadlock, deadlock detection, Derangement, dynamic programming, geolocation, GPS, Human Computer Interaction, iRobot, location-based application, Location-based Study, map, model checking, prediction, probability theory, Process-Resource Graph, recursion, Redundant Area, Resource Allocation Graph, Road Type Classification, Robot Vacuum, spatial ability, spatial visualization2, traffic navigation, UI Error, user interface, verification, VZ.