Skip to content

StreamB: a declarative language for automatically synthesising abstract environments in agent platforms

License

Notifications You must be signed in to change notification settings

autonomy-and-verification-uol/StreamB

Repository files navigation

StreamB

Python implementation of StreamB using python ROS library.

Citation

Angelo Ferrando, Fabio Papacchini: StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms. EMAS@AAMAS 2021: 114-136 https://link.springer.com/chapter/10.1007/978-3-030-97457-2_7

What to install:

How to use:

$ python3 stream.py <specification_file>

Where <specification_file> is the path to the specification file where the beliefs are defined using StreamB syntax.

The execution will generate a folder containing all ROS-node transducers. Among these nodes, a launch file will be created for a simplified use.

To create Parser:

$ antlr4 -Dlanguage=Python3 -visitor -no-listener Stream.g4

Credits

To https://github.com/doganulus/python-monitors for the MTL Parser.

About

StreamB: a declarative language for automatically synthesising abstract environments in agent platforms

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published