Date Range
Date Range
Date Range
Welcome to Mikan Corporation on the web! By logging into your account you can view order history, reprint invoices, pay outstanding balances and much more.
My name is Andrea Micheli, I am a post-doc researcher in Artificial Intelligence Planning and Temporal Reasoning at the Embedded Systems unit in Fondazione Bruno Kessler. In the past, I worked in the field of Formal Verification, first as a developer of the NuSMV. Model checkers and later in the development of the KRATOS. I currently work on temporal planning in presence of temporal uncertainty and continuous resources, and I am one of the leaders of the open-source PySMT. In general and Model Checking.