@article {11573/1685988,
	title = {{A formalization of multi-agent planning with explicit agent representation}},
	volume = {{False}},
	number = {{False}},
	year = {2023},
	pages = {816-823},
	keywords = {ma-pddl}, multiagent, Planning, unified planning, {multi-agent planning},
	doi = {{10.1145/3555776.3577753}},
	author = {Trapasso, Alessandro and Santilli, Sofia and Iocchi, Luca and Patrizi, Fabio}
}
@article {11573/1434370,
	title = {{Imitation Learning over Heterogeneous Agents with Restraining Bolts}},
	volume = {{30}},
	number = {{False}},
	year = {2020},
	pages = {517-521},
	keywords = {Non-markovian Rewards, Restraining Bolts}, {Imitation Learning},
	doi = {{False}},
	author = {De Giacomo, Giuseppe and Iocchi, Luca and Favorito, Marco and Patrizi, Fabio}
}
@article {11573/1435479,
	title = {{Restraining Bolts for Reinforcement Learning Agents}},
	volume = {{34th AAAI Conference on Artificial Intelligence}},
	number = {{9}},
	year = {2020},
	pages = {13659-13662},
	keywords = {Non-markovian Rewards, Reinforcement Learning}, {Restraining Bolts},
	doi = {{10.1609/aaai.v34i09.7114}},
	author = {Giacomo, De and Favorito, Marco and Iocchi, Luca and Patrizi, Fabio}
}
@article {11573/1471641,
	title = {{Temporal Logic Monitoring Rewards via Transducers}},
	volume = {{False}},
	number = {{False}},
	year = {2020},
	pages = {860-870},
	keywords = {General Reasoning about actions and change, Symbolic reinforcement learning}, {action languages},
	doi = {{10.24963/kr.2020/89}},
	author = {De Giacomo, Giuseppe and Favorito, Marco and Iocchi, Luca and Patrizi, Fabio and Ronca, Alessandro}
}
@article {11573/1401140,
	title = {{Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications}},
	volume = {{29}},
	number = {{False}},
	year = {2019},
	pages = {128-136},
	keywords = {Probabilistic planning, Reasoning about action and change, Temporal planning}, {MDPs and POMDPs},
	doi = {{False}},
	author = {De Giacomo, Giuseppe and Iocchi, Luca and Favorito, Marco and Patrizi, Fabio}
}
@inbook {LeIo12,
	title = {Automatic Generation and Learning of Finite-State Controllers},
	booktitle = {Artificial Intelligence: Methodology, Systems, and Applications},
	series = {Lecture Notes in Computer Science},
	volume = {7557},
	year = {2012},
	pages = {135-144},
	publisher = {Springer Berlin Heidelberg},
	organization = {Springer Berlin Heidelberg},
	keywords = {Agent Programming, Controller Induction, Planning, Reinforcement Learning},
	isbn = {978-3-642-33184-8},
	doi = {10.1007/978-3-642-33185-5_15},
	url = {http://dx.doi.org/10.1007/978-3-642-33185-5_15},
	author = {M. Leonetti and L. Iocchi and Patrizi, Fabio},
	editor = {Ramsay, Allan and Agre, Gennady}
}
