pFaces

MaRDI QIDQ42344swMATHFDO

Official website https://dl.acm.org/citation.cfm?id=3311798

Described by source

• pFaces

Cited in

(18)

• Lazy abstraction-based controller synthesis
• CoSyma
• PESSOA
• ProbReach
• SCOTS
• HyLAA
• SReach
• TuLiP
• XSpeed
• ROCS
• LTLMoP
• FAUST2
• BDD2Implement
• SENSE
• SReachTools
• AMYTISS
• StocHy
• AMYTISS

This page was built for software: pFaces