5 projects
launch-on-workspace
Launch applications on a given workspace and given monitor in Linux
fimdp
Package with tools for Resource-constrained Markov Decision Processes
pandas2pgfplots
Library for pgfplots plots from pandas DataFrames
ltlcross-wrapper
Python wrapper around tool ltlcross from Spot library
ltlcross-runner
Python wrapper around tool ltlcross from Spot library