Open AccessOn the Disruptive Effectiveness of Automated Planning for LTL<i>f</i>-Based Trace Alignment
Author(s) -
Giuseppe De Giacomo,
Fabrizio Maria Maggi,
Andrea Marrella,
Fabio Patrizi
Publication year - 2017
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v31i1.11020
Subject(s) - trace (psycholinguistics) , computer science , automaton , process (computing) , linear temporal logic , finite state machine , temporal logic , task (project management) , state (computer science) , business process , programming language , theoretical computer science , algorithm , work in process , engineering , systems engineering , philosophy , linguistics , operations management