FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Nicolas Markey
Organization: IRISA, CNRS & INRIA & Univ. Rennes 1
Web page: http://people.irisa.fr/Nicolas.Markey/
Pages in this Program
All Proceedings Papers
FM FMComplete
FM FMComplete: Papers with Abstracts
FM on Monday, July 16th
FM Program
Paper: Dependences in Strategy Logic
Paper: Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty
Program
Program for Monday, July 16th
Program for Saturday, July 7th
Program for Sunday, July 8th
SR on Saturday, July 7th
SR on Sunday, July 8th
SR Program
SR SR18 papers
SR SR18 papers: Papers with Abstracts