Picture for Sandor M. Veres

Sandor M. Veres

A stochastically verifiable autonomous control architecture with reasoning

Add code
Nov 10, 2016
Figure 1 for A stochastically verifiable autonomous control architecture with reasoning
Figure 2 for A stochastically verifiable autonomous control architecture with reasoning
Figure 3 for A stochastically verifiable autonomous control architecture with reasoning
Figure 4 for A stochastically verifiable autonomous control architecture with reasoning
Viaarxiv icon

Testing, Verification and Improvements of Timeliness in ROS processes

Add code
Nov 10, 2016
Figure 1 for Testing, Verification and Improvements of Timeliness in ROS processes
Figure 2 for Testing, Verification and Improvements of Timeliness in ROS processes
Figure 3 for Testing, Verification and Improvements of Timeliness in ROS processes
Figure 4 for Testing, Verification and Improvements of Timeliness in ROS processes
Viaarxiv icon

Verification of Logical Consistency in Robotic Reasoning

Add code
Nov 10, 2016
Figure 1 for Verification of Logical Consistency in Robotic Reasoning
Figure 2 for Verification of Logical Consistency in Robotic Reasoning
Figure 3 for Verification of Logical Consistency in Robotic Reasoning
Figure 4 for Verification of Logical Consistency in Robotic Reasoning
Viaarxiv icon

Dynamical Behavior Investigation and Analysis of Novel Mechanism for Simulated Spherical Robot named "RollRoller"

Add code
Oct 19, 2016
Figure 1 for Dynamical Behavior Investigation and Analysis of Novel Mechanism for Simulated Spherical Robot named "RollRoller"
Figure 2 for Dynamical Behavior Investigation and Analysis of Novel Mechanism for Simulated Spherical Robot named "RollRoller"
Figure 3 for Dynamical Behavior Investigation and Analysis of Novel Mechanism for Simulated Spherical Robot named "RollRoller"
Figure 4 for Dynamical Behavior Investigation and Analysis of Novel Mechanism for Simulated Spherical Robot named "RollRoller"
Viaarxiv icon

A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods

Add code
Sep 01, 2016
Figure 1 for A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods
Figure 2 for A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods
Figure 3 for A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods
Figure 4 for A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods
Viaarxiv icon

Collision Avoidance of Two Autonomous Quadcopters

Add code
Mar 17, 2016
Figure 1 for Collision Avoidance of Two Autonomous Quadcopters
Figure 2 for Collision Avoidance of Two Autonomous Quadcopters
Figure 3 for Collision Avoidance of Two Autonomous Quadcopters
Figure 4 for Collision Avoidance of Two Autonomous Quadcopters
Viaarxiv icon

Formal Verification of Autonomous Vehicle Platooning

Add code
Feb 04, 2016
Figure 1 for Formal Verification of Autonomous Vehicle Platooning
Figure 2 for Formal Verification of Autonomous Vehicle Platooning
Figure 3 for Formal Verification of Autonomous Vehicle Platooning
Viaarxiv icon

Agent Based Approaches to Engineering Autonomous Space Software

Add code
Mar 02, 2010
Figure 1 for Agent Based Approaches to Engineering Autonomous Space Software
Viaarxiv icon