Skip to content
master
Switch branches/tags
Go to file
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
MDP
 
 
SG
 
 
 
 
 
 

README.md

human_factor_models

Contains several files accompanying our technical report on probabilistic verification for human-robot-interaction.

To execute the MDP files (containing only behaviour extracted from the RL model for human behaviour), use either prism or storm.

For the SG files (containing a robot in addition to the human behaviour), use prism games. Running SGs with the symbolic engine is only possible via a special version.

The file examples.sh contains a couple of examplatory calls.

About

No description, website, or topics provided.

Resources

Releases

No releases published

Packages

No packages published

Languages

  • Other 100.0%