Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Observational Learning01:12

Observational Learning

Albert Bandura's observational learning, also known as imitation or modeling, occurs when a person observes and imitates another's behavior. It is a quicker process than operant conditioning. A well-known example is the Bobo doll study, where children who saw an adult acting aggressively towards the doll were more likely to act aggressively when left alone, compared to those who observed a nonaggressive adult. Many psychologists view observational learning as a form of latent learning because...
Steps in the Modeling Process01:14

Steps in the Modeling Process

Albert Bandura's theory of observational learning identifies four critical processes: attention, retention, motor reproduction, and reinforcement or motivation.
Attention is the first necessary component for observational learning. It involves focusing on what the model is doing and saying. For example, if you decide to take a drawing class to enhance your skills, you need to pay close attention to the instructor's words and hand movements. The characteristics of the model significantly...
Modeling in Therapy01:26

Modeling in Therapy

Modeling, a key technique in therapy, uses observational learning to help clients acquire and practice new skills by watching therapists demonstrate desired behaviors. This approach, rooted in Albert Bandura's concept of vicarious learning, plays a significant role in therapeutic interventions for various psychological conditions, including social anxiety, ADHD, and depression.
Participant Modeling
Participant modeling involves therapists demonstrating calm and effective behaviors in situations...
Cognitive Learning01:21

Cognitive Learning

Cognitive learning is based on purposive behavior, incidental learning, and insight learning.
E. C. Tolman's theory of purposive behavior emphasizes that much behavior is goal-directed. He argued that to understand behavior, we must look at the entire sequence of actions leading to a goal. For instance, high school students study hard, not just due to past reinforcement but also to achieve the goal of getting into a good college.
Tolman introduced the idea that behavior is influenced by...
Role of Shaping in Operant Conditioning01:19

Role of Shaping in Operant Conditioning

Shaping is a technique used in operant conditioning to train complex behaviors by rewarding successive approximations toward the target behavior. This method is necessary because organisms are unlikely to perform complex behaviors spontaneously. Instead, shaping breaks down the desired behavior into small, manageable steps.
The steps involved in shaping begin with reinforcing any response that resembles the desired behavior. For example, parents might praise a child for picking up one toy. As...
Modeling with Differential Equations01:25

Modeling with Differential Equations

Population dynamics can be described mathematically by considering the population size P(t) as a function of time. The rate of change of the population is then represented by the derivative of P(t). A simple assumption is that the rate of growth is proportional to the size of the population itself. This leads to an exponential growth model, where the population increases rapidly without bound. While this is a useful first approximation, it does not reflect realistic long-term...

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Professional support is an important lifeboat, but let's also stop people falling into the water.

BMJ quality & safety·2026
Same author

Commercial Influences on Healthy Transport: Interest Group Engagement With Transport Ministers in Aotearoa/New Zealand 2017-2022.

Health promotion journal of Australia : official journal of Australian Association of Health Promotion Professionals·2025
Same author

Improving health and preventing cancer through a better transport system in Aotearoa/New Zealand.

Journal of the Royal Society of New Zealand·2025
Same author

Closed-Loop Multistep Planning.

Neural computation·2025
Same author

A new QRS detector stress test combining temporal jitter and F-score (JF) reveals significant performance differences amongst popular detectors.

PloS one·2024
Same author

AI based image analysis of red blood cells in oscillating microchannels.

RSC advances·2023
Same journal

A Model-Free Reinforcement Learning Implementation of Decision Making Under Uncertainty by Sequential Sampling.

Neural computation·2026
Same journal

DROP: Distributional and Regular Optimism and Pessimism for Reinforcement Learning.

Neural computation·2026
Same journal

Hierarchical Active Inference Using Successor Representations.

Neural computation·2026
Same journal

W-Kernel and Its Principal Space for Frequentist Evaluation of Bayesian Estimators.

Neural computation·2026
Same journal

A Hidden Markov Model-Inspired Sequence Classification Method for Hyperdimensional Computing.

Neural computation·2026
Same journal

Sparse Graphical Modeling for Electrophysiological Phase-Based Connectivity Using Circular Statistics.

Neural computation·2026
See all related articles

Related Experiment Video

Updated: May 10, 2026

Investigating Motor Skill Learning Processes with a Robotic Manipulandum
07:52

Investigating Motor Skill Learning Processes with a Robotic Manipulandum

Published on: February 12, 2017

Formal modeling of robot behavior with learning.

Ryan Kirwan1, Alice Miller, Bernd Porr

  • 1School of Computing Science, University of Glasgow, Glasgow G12 8RZ, Scotland ryankirwan85@gmail.com.

Neural Computation
|June 20, 2013
PubMed
Summary
This summary is machine-generated.

Formal verification of robot navigation using temporal sequence learning offers advantages over simulation, identifying system deficiencies. This approach enhances robot safety and reliability in complex environments.

More Related Videos

Closed-loop Neuro-robotic Experiments to Test Computational Properties of Neuronal Networks
11:18

Closed-loop Neuro-robotic Experiments to Test Computational Properties of Neuronal Networks

Published on: March 2, 2015

Designing and Implementing Nervous System Simulations on LEGO Robots
10:34

Designing and Implementing Nervous System Simulations on LEGO Robots

Published on: May 25, 2013

Related Experiment Videos

Last Updated: May 10, 2026

Investigating Motor Skill Learning Processes with a Robotic Manipulandum
07:52

Investigating Motor Skill Learning Processes with a Robotic Manipulandum

Published on: February 12, 2017

Closed-loop Neuro-robotic Experiments to Test Computational Properties of Neuronal Networks
11:18

Closed-loop Neuro-robotic Experiments to Test Computational Properties of Neuronal Networks

Published on: March 2, 2015

Designing and Implementing Nervous System Simulations on LEGO Robots
10:34

Designing and Implementing Nervous System Simulations on LEGO Robots

Published on: May 25, 2013

Area of Science:

  • Robotics
  • Formal Methods
  • Artificial Intelligence

Background:

  • Analyzing complex robot navigation systems often relies on simulation.
  • Traditional simulation may not identify all potential system deficiencies.
  • Formal methods offer a complementary analytical approach.

Purpose of the Study:

  • To present the formal specification and verification of a robot navigating a complex network.
  • To demonstrate the benefits of formal methods compared to classical simulation for system analysis.
  • To utilize temporal sequence learning for obstacle avoidance.

Main Methods:

  • Development of a formal specification using the Promela modeling language.
  • Verification of the system model using the Spin model checker.
  • Creation of an abstract model for property verification across different environments.

Main Results:

  • Formal verification identified deficiencies missed by classical closed-loop simulation.
  • The formal approach proved advantageous in analyzing system behavior.
  • An abstract model was developed and its soundness proven for general applicability.

Conclusions:

  • Formal specification and verification provide a robust method for analyzing robot navigation systems.
  • This approach complements simulation by uncovering critical system flaws.
  • The developed abstract model ensures verified properties hold for the original system.