Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin & Ocan Sankur (2014):
AbsSynthe: abstract synthesis from succinct safety specifications.
In: Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014.,
pp. 100–116,
doi:10.4204/EPTCS.157.11.
Randal E. Bryant (1986):
Graph-based algorithms for boolean function manipulation.
Computers, IEEE Transactions on 100(8),
pp. 677–691,
doi:10.1109/TC.1986.1676819.
Jerry Burch, Edmund M Clarke & David Long (1991):
Symbolic model checking with partitioned transition relations.
Computer Science Department,
pp. 435.
E. Allen Emerson & Charanjit S. Jutla (1991):
Tree automata, mu-calculus and determinacy.
In: FOCS.
IEEE,
pp. 368–377,
doi:10.1109/SFCS.1991.185392.
Emmanuel Filiot, Naiyong Jin & Jean-François Raskin (2010):
Compositional Algorithms for LTL Synthesis.
In: Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings,
Lecture Notes in Computer Science 6252.
Springer,
pp. 112–127,
doi:10.1007/978-3-642-15643-410.
Emmanuel Filiot, Naiyong Jin & Jean-François Raskin (2011):
Antichains and compositional algorithms for LTL synthesis.
Formal Methods in System Design 39(3),
pp. 261–296,
doi:10.1007/s10703-011-0115-3.
Guillermo A. Pérez:
LTL2AIG.
https://github.com/gaperez64/acacia_ltl2aig.
Thomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli & Robert K. Brayton (1994):
Heuristic minimization of BDDs using don't cares.
In: Proceedings of the 31st annual Design Automation Conference.
ACM,
pp. 225–231,
doi:10.1145/196244.196360.
Fabio Somenzi (1999):
Binary Decision Diagrams.
In: Calculational system design 173.
IOS Press,
pp. 303.
Alfred Tarski (1955):
A lattice-theoretical fixpoint theorem and its applications.
Pacific journal of Mathematics 5(2),
pp. 285–309,
doi:10.2140/pjm.1955.5.285.
H.J. Touti, H. Savoj, B. Lin, R.K. Brayton & A. Sangiovanni-Vincentelli (1990):
Implicit enumeration of finite state machines using bdd's.
In: IEEE Int. Conference on CAD,
doi:10.1109/ICCAD.1990.129860.
Chao Wang, Gary D Hachtel & Fabio Somenzi (2003):
The compositional far side of image computation.
In: Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design.
IEEE Computer Society,
pp. 334,
doi:10.1109/ICCAD.2003.159708.