FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Aniello Murano
Organization: University of Naples Federico II
Web page: http://people.na.infn.it/~murano
Pages in this Program
All Proceedings Papers
Paper: Quantifying Bounds in Strategy Logic
Paper: Solving Parity Games: Explicit vs Symbolic
Paper: Strategy Logic with Imperfect Information
Paper: Verification of Multi-agent Systems with Imperfect Information and Public Actions
PLR on Wednesday, July 18th
PLR Program
Program
Program for Saturday, July 7th
Program for Sunday, July 8th
Program for Wednesday, July 18th
SR on Saturday, July 7th
SR on Sunday, July 8th
SR Program
SR SR18 papers
SR SR18 papers: Papers with Abstracts