Inproceedings,

On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment.

, , , and .
AAAI, page 3555-3561. AAAI Press, (2017)

Meta data

Tags

Users

  • @dblp

Comments and Reviews