[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by type, Giuseppe DeGiacomo"></meta><meta name="description" content="Publications, by type, Department of Computer Science, Oxford, Giuseppe DeGiacomo"></meta><title>Department of Computer Science, University of Oxford: Giuseppe De Giacomo : Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/aboutus/">About Us</a></li><li><a href="/people/">People</a></li><li><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/Giuseppe.DeGiacomo"><span itemprop="name">Giuseppe De Giacomo</span></a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>Giuseppe De Giacomo : Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/people/publications/date/Giuseppe.DeGiacomo.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/people/publications/title/Giuseppe.DeGiacomo.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/people/publications/type/Giuseppe.DeGiacomo.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/people/publications/bibtex/Giuseppe.DeGiacomo.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><p></p><h2>
      Journal papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Regular Decision Processes </strong> </p>
	    <p class="publicationAuthors"> <em> Ronen I. Brafman and Giuseppe De Giacomo  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Artif. Intell.</em>.
        
            Vol. 331.
        
                Pages 104113.
            2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16391-abstract.html">
			Details <span class="sr-only" > about <em> Regular Decision Processes  </em></span> </a> |
			<a href="/publications/publication16391.bib">
			BibTeX  <span class="sr-only" > data for <em> Regular Decision Processes  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Temporally Extended Goal Recognition in Fully Observable Non&#x2212;deterministic Domain Models </strong> </p>
	    <p class="publicationAuthors"> <em> Ramon Fraga Pereira&#x201a; Francesco Fuggitti&#x201a; Felipe Meneguzzi and Giuseppe De Giacomo  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Appl. Intell.</em>.
        
            Vol. 54.
        
            No. 11&#x2212;12.
        
                Pages 470&#x2013;489.
            2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16390-abstract.html">
			Details <span class="sr-only" > about <em> Temporally Extended Goal Recognition in Fully Observable Non&#x2212;deterministic Domain Models  </em></span> </a> |
			<a href="/publications/publication16390.bib">
			BibTeX  <span class="sr-only" > data for <em> Temporally Extended Goal Recognition in Fully Observable Non&#x2212;deterministic Domain Models  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Mimicking Behaviors in Separated Domains (Abstract Reprint) </strong> </p>
	    <p class="publicationAuthors"> <em> Giuseppe De Giacomo&#x201a; Dror Fried&#x201a; Fabio Patrizi and Shufang Zhu  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>AAAI 2024 (Journal Track)</em>.
        2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16387-abstract.html">
			Details <span class="sr-only" > about <em> Mimicking Behaviors in Separated Domains (Abstract Reprint)  </em></span> </a> |
			<a href="/publications/publication16387.bib">
			BibTeX  <span class="sr-only" > data for <em> Mimicking Behaviors in Separated Domains (Abstract Reprint)  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Mimicking Behaviors in Separated Domains </strong> </p>
	    <p class="publicationAuthors"> <em> Giuseppe De Giacomo&#x201a; Dror Fried&#x201a; Fabio Patrizi and Shufang Zhu  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>J. Artif. Intell. Res. (JAIR)</em>.
        
            Vol. 77.
        
                Pages 1087&#x2013;1112.
            2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16410-abstract.html">
			Details <span class="sr-only" > about <em> Mimicking Behaviors in Separated Domains  </em></span> </a> |
			<a href="/publications/publication16410.bib">
			BibTeX  <span class="sr-only" > data for <em> Mimicking Behaviors in Separated Domains  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            AI&#x2212;augmented Business Process Management Systems: A Research Manifesto </strong> </p>
	    <p class="publicationAuthors"> <em> Marlon Dumas&#x201a; Fabiana Fournier&#x201a; Lior Limonad&#x201a; Andrea Marrella&#x201a; Marco Montali&#x201a; Jana&#x2212;Rebecca Rehse&#x201a; Rafael Accorsi&#x201a; Diego Calvanese&#x201a; Giuseppe De Giacomo&#x201a; Dirk Fahland&#x201a; Avigdor Gal&#x201a; Marcello La Rosa&#x201a; Hagen Voelzer and Ingo Weber  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>ACM Transactions on Management Information Systems</em>.
        
            Vol. 14.
        
            No. 1.
        
                Pages 11.
            2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16409-abstract.html">
			Details <span class="sr-only" > about <em> AI&#x2212;augmented Business Process Management Systems: A Research Manifesto  </em></span> </a> |
			<a href="/publications/publication16409.bib">
			BibTeX  <span class="sr-only" > data for <em> AI&#x2212;augmented Business Process Management Systems: A Research Manifesto  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Tool for Declarative Trace Alignment via Automated Planning </strong> </p>
	    <p class="publicationAuthors"> <em> Giuseppe De Giacomo&#x201a; Francesco Fuggitti&#x201a; Fabrizio Maria Maggi&#x201a; Andrea Marrella Favorito and Fabio Patrizi  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Software Impacts</em>.
        
            Vol. 16.
        2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16408-abstract.html">
			Details <span class="sr-only" > about <em> A Tool for Declarative Trace Alignment via Automated Planning  </em></span> </a> |
			<a href="/publications/publication16408.bib">
			BibTeX  <span class="sr-only" > data for <em> A Tool for Declarative Trace Alignment via Automated Planning  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Digital Twin Composition in Smart Manufacturing via Markov Decision Processes </strong> </p>
	    <p class="publicationAuthors"> <em> Giuseppe De Giacomo&#x201a; Marco Favorito&#x201a; Francesco Leotta&#x201a; Massimo Mecella and Luciana Silo  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Computers in Industry</em>.
        
            Vol. 149.
        2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16407-abstract.html">
			Details <span class="sr-only" > about <em> Digital Twin Composition in Smart Manufacturing via Markov Decision Processes  </em></span> </a> |
			<a href="/publications/publication16407.bib">
			BibTeX  <span class="sr-only" > data for <em> Digital Twin Composition in Smart Manufacturing via Markov Decision Processes  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Finite&#x2212;trace and Generalized&#x2212;Reactivity Specifications in Temporal Synthesis </strong> </p>
	    <p class="publicationAuthors"> <em> Giuseppe De Giacomo&#x201a; Antonio Di Stasio&#x201a; Lucas M. Tabajara&#x201a; Moshe Y. Vardi and Shufang Zhu  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Formal Methods in System Design</em>.
        2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16406-abstract.html">
			Details <span class="sr-only" > about <em> Finite&#x2212;trace and Generalized&#x2212;Reactivity Specifications in Temporal Synthesis  </em></span> </a> |
			<a href="/publications/publication16406.bib">
			BibTeX  <span class="sr-only" > data for <em> Finite&#x2212;trace and Generalized&#x2212;Reactivity Specifications in Temporal Synthesis  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Conference papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Misconceptions in Finite&#x2212;Trace and Infinite&#x2212;Trace Linear Temporal Logic </strong> </p>
	    <p class="publicationAuthors"> <em> Ben Greenman&#x201a; Siddhartha Prasad&#x201a; Antonio Di Stasio&#x201a; Shufang Zhu&#x201a; Giuseppe De Giacomo&#x201a; Shriram Krishnamurthi&#x201a; Marco Montali&#x201a; Tim Nelson and Milda Zizyte  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            FM 2024</em>.
        2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16414-abstract.html">
			Details <span class="sr-only" > about <em> Misconceptions in Finite&#x2212;Trace and Infinite&#x2212;Trace Linear Temporal Logic  </em></span> </a> |
			<a href="/publications/publication16414.bib">
			BibTeX  <span class="sr-only" > data for <em> Misconceptions in Finite&#x2212;Trace and Infinite&#x2212;Trace Linear Temporal Logic  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Abstraction of Situation Calculus Concurrent Game Structures </strong> </p>
	    <p class="publicationAuthors"> <em> Yves Lesp&#xe9;rance&#x201a; Giuseppe De Giacomo&#x201a; Maryam Rostamigiv and Shakil M. Khan  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            AAAI 2024</em>.
        2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16389-abstract.html">
			Details <span class="sr-only" > about <em> Abstraction of Situation Calculus Concurrent Game Structures  </em></span> </a> |
			<a href="/publications/publication16389.bib">
			BibTeX  <span class="sr-only" > data for <em> Abstraction of Situation Calculus Concurrent Game Structures  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Pure&#x2212;Past Action Masking </strong> </p>
	    <p class="publicationAuthors"> <em> Giovanni Varricchione&#x201a; Natasha Alechina&#x201a; Mehdi Dastani&#x201a; Giuseppe De Giacomo&#x201a; Brian Logan and Giuseppe Perelli  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            AAAI 2024</em>.
        2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16388-abstract.html">
			Details <span class="sr-only" > about <em> Pure&#x2212;Past Action Masking  </em></span> </a> |
			<a href="/publications/publication16388.bib">
			BibTeX  <span class="sr-only" > data for <em> Pure&#x2212;Past Action Masking  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Planning with Object Creation </strong> </p>
	    <p class="publicationAuthors"> <em> Augusto B. Correa&#x201a; Giuseppe De Giacomo&#x201a; Malte Helmert and Sasha Rubin  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            ICAPS 2024</em>.
        2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16386-abstract.html">
			Details <span class="sr-only" > about <em> Planning with Object Creation  </em></span> </a> |
			<a href="/publications/publication16386.bib">
			BibTeX  <span class="sr-only" > data for <em> Planning with Object Creation  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Composition of Stochastic Services for LTLf Goal Specifications </strong> </p>
	    <p class="publicationAuthors"> <em> Giuseppe De Giacomo&#x201a; Marco Favorito and Luciana Silo  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            FoIKS 2024</em>.
        2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16385-abstract.html">
			Details <span class="sr-only" > about <em> Composition of Stochastic Services for LTLf Goal Specifications  </em></span> </a> |
			<a href="/publications/publication16385.bib">
			BibTeX  <span class="sr-only" > data for <em> Composition of Stochastic Services for LTLf Goal Specifications  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Effective Approach to LTLf Best&#x2212;Effort Synthesis in Multi&#x2212;Tier Environments </strong> </p>
	    <p class="publicationAuthors"> <em> Benjamin Aminof&#x201a; Giuseppe De Giacomo&#x201a; Gianmarco Parretti and Sasha Rubin  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            IJCAI 2024</em>.
        2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16384-abstract.html">
			Details <span class="sr-only" > about <em> Effective Approach to LTLf Best&#x2212;Effort Synthesis in Multi&#x2212;Tier Environments  </em></span> </a> |
			<a href="/publications/publication16384.bib">
			BibTeX  <span class="sr-only" > data for <em> Effective Approach to LTLf Best&#x2212;Effort Synthesis in Multi&#x2212;Tier Environments  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Trembling&#x2212;Hand Problem for LTLf Planning </strong> </p>
	    <p class="publicationAuthors"> <em> Pian Yu&#x201a; Shufang Zhu&#x201a; Giuseppe De Giacomo&#x201a; Marta Kwiatkowska and Moshe Vardi  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            IJCAI 2024</em>.
        2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16383-abstract.html">
			Details <span class="sr-only" > about <em> The Trembling&#x2212;Hand Problem for LTLf Planning  </em></span> </a> |
			<a href="/publications/publication16383.bib">
			BibTeX  <span class="sr-only" > data for <em> The Trembling&#x2212;Hand Problem for LTLf Planning  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Lifted Planning: Recent Advances in Planning Using First&#x2212;Order Representation </strong> </p>
	    <p class="publicationAuthors"> <em> Augusto B. Correa and Giuseppe De Giacomo  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            IJCAI 2024 (Survey Track)</em>.
        2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16382-abstract.html">
			Details <span class="sr-only" > about <em> Lifted Planning: Recent Advances in Planning Using First&#x2212;Order Representation  </em></span> </a> |
			<a href="/publications/publication16382.bib">
			BibTeX  <span class="sr-only" > data for <em> Lifted Planning: Recent Advances in Planning Using First&#x2212;Order Representation  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Planning for Temporally Extended Goals in Pure&#x2212;Past Linear Temporal Logic (Extended Abstract) </strong> </p>
	    <p class="publicationAuthors"> <em> Luigi Bonassi&#x201a; Giuseppe De Giacomo&#x201a; Marco Favorito&#x201a; Francesco Fuggitti&#x201a; Alfonso Emilio Gerevini and Enrico Scala  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            IJCAI 2024 (Sister Track)</em>.
        2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16381-abstract.html">
			Details <span class="sr-only" > about <em> Planning for Temporally Extended Goals in Pure&#x2212;Past Linear Temporal Logic (Extended Abstract)  </em></span> </a> |
			<a href="/publications/publication16381.bib">
			BibTeX  <span class="sr-only" > data for <em> Planning for Temporally Extended Goals in Pure&#x2212;Past Linear Temporal Logic (Extended Abstract)  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Shielded FOND: Planning With Safety Constraints in Pure&#x2212;Past Linear Temporal Logic </strong> </p>
	    <p class="publicationAuthors"> <em> Luigi Bonassi&#x201a; Giuseppe De Giacomo&#x201a; Alfonso Emilio Gerevini and Enrico Scala  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            ECAI 2024</em>.
        2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16380-abstract.html">
			Details <span class="sr-only" > about <em> Shielded FOND: Planning With Safety Constraints in Pure&#x2212;Past Linear Temporal Logic  </em></span> </a> |
			<a href="/publications/publication16380.bib">
			BibTeX  <span class="sr-only" > data for <em> Shielded FOND: Planning With Safety Constraints in Pure&#x2212;Past Linear Temporal Logic  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes </strong> </p>
	    <p class="publicationAuthors"> <em> Gabriel Paludo Licks&#x201a; Fabio Patrizi and Giuseppe De Giacomo  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            ECAI 2024</em>.
        2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16379-abstract.html">
			Details <span class="sr-only" > about <em> Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes  </em></span> </a> |
			<a href="/publications/publication16379.bib">
			BibTeX  <span class="sr-only" > data for <em> Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[12] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Proper Linear&#x2212;time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis </strong> </p>
	    <p class="publicationAuthors"> <em> Benjamin Aminof&#x201a; Giuseppe De Giacomo&#x201a; Sasha Rubin and Florian Zuleger  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            KR 2024</em>.
        2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16378-abstract.html">
			Details <span class="sr-only" > about <em> Proper Linear&#x2212;time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis  </em></span> </a> |
			<a href="/publications/publication16378.bib">
			BibTeX  <span class="sr-only" > data for <em> Proper Linear&#x2212;time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[13] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Abstraction of Situation Calculus Concurrent Game Structures &#x2212; Extended Abstract </strong> </p>
	    <p class="publicationAuthors"> <em> Yves Lesp&#xe9;rance&#x201a; Giuseppe De Giacomo&#x201a; Maryam Rostamigiv and Shakil M. Khan  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            KR 2024 (Previously Published Research Track)</em>.
        2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16377-abstract.html">
			Details <span class="sr-only" > about <em> Abstraction of Situation Calculus Concurrent Game Structures &#x2212; Extended Abstract  </em></span> </a> |
			<a href="/publications/publication16377.bib">
			BibTeX  <span class="sr-only" > data for <em> Abstraction of Situation Calculus Concurrent Game Structures &#x2212; Extended Abstract  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[14] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Abstraction of Nondeterministic Situation Calculus Action Theories </strong> </p>
	    <p class="publicationAuthors"> <em> Bita Banihashemi&#x201a; Giuseppe De Giacomo and Yves Lesp&#xe9;rance  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            IJCAI 2023</em>.
        2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16405-abstract.html">
			Details <span class="sr-only" > about <em> Abstraction of Nondeterministic Situation Calculus Action Theories  </em></span> </a> |
			<a href="/publications/publication16405.bib">
			BibTeX  <span class="sr-only" > data for <em> Abstraction of Nondeterministic Situation Calculus Action Theories  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[15] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Stochastic Best&#x2212;Effort Strategies for Borel Goals </strong> </p>
	    <p class="publicationAuthors"> <em> Benjamin Aminof&#x201a; Giuseppe De Giacomo&#x201a; Sasha Rubin and Florian Zuleger  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            LICS 2023</em>.
        2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16404-abstract.html">
			Details <span class="sr-only" > about <em> Stochastic Best&#x2212;Effort Strategies for Borel Goals  </em></span> </a> |
			<a href="/publications/publication16404.bib">
			BibTeX  <span class="sr-only" > data for <em> Stochastic Best&#x2212;Effort Strategies for Borel Goals  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[16] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Planning for Temporally Extended Goals in Pure&#x2212;Past Linear Temporal Logic </strong> </p>
	    <p class="publicationAuthors"> <em> Luigi Bonassi&#x201a; Giuseppe De Giacomo&#x201a; Marco Favorito&#x201a; Francesco Fuggitti&#x201a; Alfonso Emilio Gerevini and Enrico Scala  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            ICAPS 2023</em>.
        2023.
        </p> <p
            class="publicationNote"> Best Student Paper Award</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16403-abstract.html">
			Details <span class="sr-only" > about <em> Planning for Temporally Extended Goals in Pure&#x2212;Past Linear Temporal Logic  </em></span> </a> |
			<a href="/publications/publication16403.bib">
			BibTeX  <span class="sr-only" > data for <em> Planning for Temporally Extended Goals in Pure&#x2212;Past Linear Temporal Logic  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[17] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Automata Cascades: Expressivity and Sample Complexity </strong> </p>
	    <p class="publicationAuthors"> <em> Alessandro Ronca&#x201a; Nadezda Alexandrovna Knorozova and Giuseppe De Giacomo  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            AAAI 2023</em>.
        2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16402-abstract.html">
			Details <span class="sr-only" > about <em> Automata Cascades: Expressivity and Sample Complexity  </em></span> </a> |
			<a href="/publications/publication16402.bib">
			BibTeX  <span class="sr-only" > data for <em> Automata Cascades: Expressivity and Sample Complexity  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[18] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Exploiting Multiple Abstractions in Episodic RL via Reward Shaping </strong> </p>
	    <p class="publicationAuthors"> <em> Roberto Cipollone&#x201a; Giuseppe De Giacomo&#x201a; Marco Favorito&#x201a; Luca Iocchi and Fabio Patrizi  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            AAAI 2023</em>.
        2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16401-abstract.html">
			Details <span class="sr-only" > about <em> Exploiting Multiple Abstractions in Episodic RL via Reward Shaping  </em></span> </a> |
			<a href="/publications/publication16401.bib">
			BibTeX  <span class="sr-only" > data for <em> Exploiting Multiple Abstractions in Episodic RL via Reward Shaping  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[19] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Reactive Synthesis of Dominant Strategies </strong> </p>
	    <p class="publicationAuthors"> <em> Benjamin Aminof&#x201a; Giuseppe De Giacomo and Sasha Rubin  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            AAAI 2023</em>.
        2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16400-abstract.html">
			Details <span class="sr-only" > about <em> Reactive Synthesis of Dominant Strategies  </em></span> </a> |
			<a href="/publications/publication16400.bib">
			BibTeX  <span class="sr-only" > data for <em> Reactive Synthesis of Dominant Strategies  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[20] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Grounding LTLf Specifications in Image Sequences </strong> </p>
	    <p class="publicationAuthors"> <em> Elena Umili&#x201a; Roberto Capobianco and Giuseppe De Giacomo  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            KR 2023</em>.
        2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16399-abstract.html">
			Details <span class="sr-only" > about <em> Grounding LTLf Specifications in Image Sequences  </em></span> </a> |
			<a href="/publications/publication16399.bib">
			BibTeX  <span class="sr-only" > data for <em> Grounding LTLf Specifications in Image Sequences  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[21] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            AIDA: A Tool for Resiliency in Smart Manufacturing </strong> </p>
	    <p class="publicationAuthors"> <em> Giuseppe De Giacomo&#x201a; Marco Favorito&#x201a; Francesco Leotta&#x201a; Massimo Mecella&#x201a; Flavia Monti and Luciana Silo  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            CAiSE Forum 2023</em>.
        2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16398-abstract.html">
			Details <span class="sr-only" > about <em> AIDA: A Tool for Resiliency in Smart Manufacturing  </em></span> </a> |
			<a href="/publications/publication16398.bib">
			BibTeX  <span class="sr-only" > data for <em> AIDA: A Tool for Resiliency in Smart Manufacturing  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[22] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. Digital Twin Composition in Smart Manufacturing via Markov Decision Processes </strong> </p>
	    <p class="publicationAuthors"> <em> Benjamin Aminof&#x201a; Giuseppe De Giacomo&#x201a; Antonio Di Stasio&#x201a; Hugo Francon&#x201a; Sasha Rubin and Shufang Zhu  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            EUMAS 2023</em>.
        2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16397-abstract.html">
			Details <span class="sr-only" > about <em> LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. Digital Twin Composition in Smart Manufacturing via Markov Decision Processes  </em></span> </a> |
			<a href="/publications/publication16397.bib">
			BibTeX  <span class="sr-only" > data for <em> LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. Digital Twin Composition in Smart Manufacturing via Markov Decision Processes  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[23] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Symbolic sc LTLf Best&#x2212;Effort Synthesis </strong> </p>
	    <p class="publicationAuthors"> <em> Giuseppe De Giacomo&#x201a; Gianmarco Parretti and Shufang Zhu  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            EUMAS 2023</em>.
        2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16396-abstract.html">
			Details <span class="sr-only" > about <em> Symbolic sc LTLf Best&#x2212;Effort Synthesis  </em></span> </a> |
			<a href="/publications/publication16396.bib">
			BibTeX  <span class="sr-only" > data for <em> Symbolic sc LTLf Best&#x2212;Effort Synthesis  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[24] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Behavioral QLTL </strong> </p>
	    <p class="publicationAuthors"> <em> Giuseppe De Giacomo and Giuseppe Perelli  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            EUMAS 2023</em>.
        2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16395-abstract.html">
			Details <span class="sr-only" > about <em> Behavioral QLTL  </em></span> </a> |
			<a href="/publications/publication16395.bib">
			BibTeX  <span class="sr-only" > data for <em> Behavioral QLTL  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[25] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            LTLf Best&#x2212;Effort Synthesis in Nondeterministic Planning Domains </strong> </p>
	    <p class="publicationAuthors"> <em> Giuseppe De Giacomo&#x201a; Gianmarco Parretti and Shufang Zhu  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            ECAI 2023</em>.
        2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16394-abstract.html">
			Details <span class="sr-only" > about <em> LTLf Best&#x2212;Effort Synthesis in Nondeterministic Planning Domains  </em></span> </a> |
			<a href="/publications/publication16394.bib">
			BibTeX  <span class="sr-only" > data for <em> LTLf Best&#x2212;Effort Synthesis in Nondeterministic Planning Domains  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[26] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            FOND Planning for Pure&#x2212;Past Linear Temporal Logic Goals </strong> </p>
	    <p class="publicationAuthors"> <em> Luigi Bonassi&#x201a; Giuseppe De Giacomo&#x201a; Marco Favorito&#x201a; Francesco Fuggitti&#x201a; Alfonso Emilio Gerevini and Enrico Scala  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            ECAI 2023</em>.
        2023.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16393-abstract.html">
			Details <span class="sr-only" > about <em> FOND Planning for Pure&#x2212;Past Linear Temporal Logic Goals  </em></span> </a> |
			<a href="/publications/publication16393.bib">
			BibTeX  <span class="sr-only" > data for <em> FOND Planning for Pure&#x2212;Past Linear Temporal Logic Goals  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[27] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards ILP&#x2212;Based LTLf Passive Learning </strong> </p>
	    <p class="publicationAuthors"> <em> Antonio Ielo&#x201a; Mark Law&#x201a; Valeria Fionda&#x201a; Francesco Ricca&#x201a; Giuseppe De Giacomo and Alessandra Russo  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            ILP 2023</em>.
        2023.
        </p> <p
            class="publicationNote"> Best Paper Award</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16392-abstract.html">
			Details <span class="sr-only" > about <em> Towards ILP&#x2212;Based LTLf Passive Learning  </em></span> </a> |
			<a href="/publications/publication16392.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards ILP&#x2212;Based LTLf Passive Learning  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col"><h2 class="side-menu-title text-uppercase"><a href="#">About Us</a></h2><ul class="side-menu"><li class="active mobile-menu-source"><a href="/people/">People</a><ul><li class="active"><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/research.html">Research</a></li><li><a href="/people/students.html">Students</a></li><li><a href="/people/support.html">Professional Services</a></li><li><a href="/people/visitingprofessors.html">Visiting Professors</a></li><li><a href="/people/emeritusfaculty.html">Emeritus Faculty</a></li></ul></li><li><a href="/aboutus/vacancies/">Vacancies</a></li><li><a href="/aboutus/women-cs-oxford/index.html">Women in the department</a></li><li><a href="/aboutus/equality-diversity-inclusion/index.html">Equality, diversity and inclusion</a></li><li><a href="https://www.alumniweb.ox.ac.uk/cs/make-a-donation">Support Us</a></li><li><a href="/aboutus/cshistory.html">Our History</a></li><li><a href="/aboutus/contact.html">Contact Us</a></li></ul></div></div></div>[an error occurred while processing this directive]