Inproceedings,

Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks.

, and .
MLCSB, volume 11415 of Lecture Notes in Computer Science, page 89-104. Springer, (2018)

Meta data

Tags

Users

  • @dblp

Comments and Reviews