Issue 642: CEGAR: add option to check abstract transition system - Fast Downward issue tracker

Title	CEGAR: add option to check abstract transition system
Priority	wish	Status	resolved
Superseder		Nosy List	jendrik, malte, thomas
Assigned To	jendrik	Keywords
Optional summary

Created on 2016-03-21.14:16:42 by jendrik, last changed by jendrik.

Messages
msg5631 (view)	Author: jendrik	Date: 2016-09-16.10:19:14
Closing this for now, as there are currently no concrete plans to implement this.
msg5206 (view)	Author: jendrik	Date: 2016-03-21.14:16:42
We want to add an option for checking that the transition system is correct after each refinement.

History
Date	User	Action	Args
2016-09-16 10:19:14	jendrik	set	status: unread -> resolved messages: + msg5631
2016-03-21 14:16:42	jendrik	create