Nir Piterman
Visar 23 publikationer
Engineering an LTLf Synthesis Tool
Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology
Attributed Point-to-Point Communication in R-CHECK
Full LTL Synthesis over Infinite-State Arenas
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis
A Direct Translation from LTL with Past to Deterministic Rabin Automata
Adding Reconfiguration to Zielonka’s Asynchronous Automata
Faster and Smaller Solutions of Obliging Games
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae
Language Support for Verifying Reconfigurable Interacting Systems
Games for Efficient Supervisor Synthesis
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
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.