hawesie/prism-robots
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
exemplos estao em prism/lg para correr: ./../bin/prism nav.mdp ex2.props -prop 1 -exportprodtrans prod1.tra -exportprodstates prod1.sta -exporttarget prod1.lab -exportadv prod1.adv python parser.py nav.mdp prod1.sta prod1.lab prod1.tra prod1.mdp ./../bin/prism prod1.mdp ex2.props -prop 2 -exportprodtrans prod2.tra -exportprodstates prod2.sta -exporttarget prod2.lab python parser.py prod1.mdp prod2.sta prod2.lab prod2.tra prod2.mdp ./../bin/prism prod2.mdp ex2.props -prop 4 -exportstates stdout -exportadv prod2.adv ./../bin/prism prod2.mdp ex2.props -prop 4 -exportprodtrans prod3.tra -exportprodstates prod3.sta -exporttarget prod3.lab python parser.py prod2.mdp prod3.sta prod3.lab prod3.tra prod3.mdp ./../bin/prism prod3.mdp ex2.props -prop 5 -exportstates stdout -exportadv prod3.adv
About
prism and robots
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published