Skip to content

Issues: VerifiableRobotics/LTLMoP

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

33 Open 38 Closed
33 Open 38 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Error in compilation
#99 opened Apr 13, 2019 by rahulrajpl
2
How to do Multi-robot task planning?
#97 opened Nov 30, 2018 by GuangyaoSHI
Want to get point coordinates on the robot trajectory, Or motion primitives of the robot
#96 opened Jul 13, 2018 by kundut
Observing Robot Movement in the Simulation
#94 opened Dec 14, 2017 by AlameluThinnappan
Regarding specEditor.py
#93 opened Nov 8, 2017 by Shradha131
5
Problem with heap space
#92 opened Jan 27, 2017 by layashamgah
Shutdown method in execute.py doesn't do anything
#90 opened Oct 10, 2016 by ayonix
Changing floating point values in the configuration editor doesn't work
#88 opened Jun 27, 2016 by ayonix
ROS handlers with newer versions feature-request
#87 opened May 31, 2016 by ayonix
1
1
Other robots than basicsim does not work
#86 opened Apr 29, 2016 by layashamgah
How to export generated trajectores?
#85 opened Apr 25, 2016 by layashamgah
1
"# Add any auto-generated propositions to the list" error
#84 opened Apr 7, 2016 by layashamgah
Add Docker Installation + Usage Instructions
#83 opened Dec 25, 2015 by agilgur5
specEditor error emptied .spec file
#76 opened Oct 29, 2014 by spmaniato
License confusion
#74 opened Sep 7, 2014 by vraman
1
Method of adding prop_mappings into .config file incorrectly classifies mapping as "sensor" or actuator"
#69 opened May 8, 2014 by itwasabhi
Handler Loading problem
#68 opened Apr 29, 2014 by cmavrogiannis
@jimjing
3
Simulation Calibration Matrix feature-request
#67 opened Apr 18, 2014 by RobertVillalba
3
some bugs currently in dev
#64 opened Apr 15, 2014 by jimjing
@jimjing
2
Config files overwritten when saved
#61 opened Apr 2, 2014 by wongkaiweng
@jimjing
2
how to draw trajectory of robot on screen after simulation
#57 opened Jan 27, 2014 by gibu777
Debug/Analyze does not correctly highlight unrealizable cores
#54 opened Dec 26, 2013 by wongkaiweng
5
on windows, spec files cannot be on a different drive than the ltlmop directory
#47 opened Sep 20, 2013 by cfinucane
@spmaniato
use of udp in dummyactuator messaging can result in out of order log
#42 opened Aug 5, 2013 by cfinucane
Spec Editor trying to parse a comment
#41 opened Jul 18, 2013 by spmaniato
ProTip! Add no:assignee to see everything that’s not assigned.