Nir Piterman
My research interests include formal verification and automata theory. I have worked (and still am) on model checking of various types of systems, different aspects of temporal logic, as well as synthesis and game solving. I also worked on applications of formal methods to biological modeling.
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
Language Support for Verifying Reconfigurable Interacting Systems
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae
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
Incorporating Monitors in Reactive Synthesis without Paying the Price
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security
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.