controllers_with_minimal_observation_power

Registered by Peter Bulychev

This is the prototype implementation of the algorithm described in Peter Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-Francois Raskin and Pierre-Alain Reynier "Controllers with Minimal Observation Power (Application to Timed Systems)" ATVA 2012 paper

Project information

Maintainer:
Peter Bulychev
Driver:
Not yet selected
Licence:
GNU GPL v3

RDF metadata

View full history Series and milestones

trunk series is the current focus of development.

All code Code

Version control system:
Bazaar

Get Involved

  • warning
    Report a bug
  • warning
    Ask a question
  • warning
    Help translate

Downloads

controllers_with_minimal_observation_power does not have any download files registered with Launchpad.