Nir Piterman
Showing 28 publications
Engineering an LTLf Synthesis Tool
From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
Fast Obligation Translation and Synthesis
A compositional semantics for reconfigurable multi-mode interaction in R-CHECK
Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology
Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
Attributed Point-to-Point Communication in R-CHECK
Full LTL Synthesis over Infinite-State Arenas
A Direct Translation from LTL with Past to Deterministic Rabin Automata
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis
Faster and Smaller Solutions of Obliging Games
Adding Reconfiguration to Zielonka’s Asynchronous Automata
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae
Games for Efficient Supervisor Synthesis
Language Support for Verifying Reconfigurable Interacting Systems
Model Checking Reconfigurable Interacting Systems
Runtime Verification Meets Controller Synthesis
A Survey on Satisfiability Checking forthe μ -Calculus Through Tree Automata
R-CHECK: A Model Checker for Verifying Reconfigurable MAS
A PO Characterisation ofReconfiguration
Actions over Core-closed Knowledge Bases
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security
Incorporating Monitors in Reactive Synthesis without Paying the Price
Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning
Synthesis of Run-To-Completion Controllers for Discrete Event Systems
Modelling and verification of reconfigurable multi-agent systems
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.