Learning-Based Synthesis of Safety Controllers

@article{Neider2019LearningBasedSO,
  title={Learning-Based Synthesis of Safety Controllers},
  author={Daniel Neider and Oliver Markgraf},
  journal={2019 Formal Methods in Computer Aided Design (FMCAD)},
  year={2019},
  pages={120-128}
}
  • Daniel Neider, Oliver Markgraf
  • Published in
    Formal Methods in Computer…
    2019
  • Computer Science, Mathematics
  • We propose a machine learning framework to synthesize reactive controllers for systems whose interactions with their adversarial environment are modeled by infinite-duration, two-player games over (potentially) infinite graphs. Our frame-work targets safety games with infinitely many vertices, but it is also applicable to safety games over finite graphs whose size is too prohibitive for conventional synthesis techniques. The learning takes place in a feedback loop between a teacher component… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    1
    Twitter Mention

    Citations

    Publications citing this paper.

    Learning-Based Synthesis of Safety Controllers

    VIEW 6 EXCERPTS
    CITES METHODS & BACKGROUND

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 24 REFERENCES

    Learning-Based Synthesis of Safety Controllers

    VIEW 6 EXCERPTS

    Hornice learning for synthesizing invariants and contracts

    • P. Ezudheen, D. Neider, D. D’Souza, P. Garg, P. Madhusudan
    • PACMPL, vol. 2, no. OOPSLA, pp. 131:1–131:25, 2018.
    • 2018
    VIEW 5 EXCERPTS
    HIGHLY INFLUENTIAL

    The Sketching Approach to Program Synthesis

    VIEW 7 EXCERPTS
    HIGHLY INFLUENTIAL

    Learning-based synthesis of safety controllers

    • D. Neider, O. Markgraf
    • CoRR, vol. abs/1901.06801, 2019. [Online]. Available: http://arxiv.org/abs/1901.06801
    • 1901
    VIEW 6 EXCERPTS
    HIGHLY INFLUENTIAL

    A data-driven CHC solver

    VIEW 2 EXCERPTS