Now showing items 1-7 of 7

  • Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments 

    Maly, Matthew R.; Lahijanian, Morteza; Kavraki, Lydia E.; Kress-Gazit, Hadas; Vardi, Moshe Y. (2013)
    This paper considers the problem of motion planning for a hybrid robotic system with complex and nonlinear dynamics in a partially unknown environment given a temporal logic specification. We employ a multi-layered ...
  • Linear Temporal Logic and Linear Dynamic Logic on Finite Traces 

    De Giacomo, Giuseppe; Vardi, Moshe Y. (2013)
    In this paper we look into the assumption of interpreting LTL over finite traces. In particular we show that LTLf, i.e., LTL under this assumption, is less expressive than what might appear at first sight, and that at ...
  • Once and For All 

    Kupferman, Orna; Pnueli, Amir; Vardi, Moshe Y. (2012)
    It has long been known that past-time operators add no expressive power to linear temporal logics. In this paper, we consider the extension of branching temporal logics with past-time operators. Two possible views regarding ...
  • Publication Culture in Computing Research 

    Mehlhorn, Kurt; Vardi, Moshe Y.; Herbstritt, Marc (2012)
    The dissemination of research results is an integral part of research and hence a crucial component for any scientific discipline. In the area of computing research, there have been raised concerns recently about its ...
  • Regular Real Analysis 

    Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y. (2013)
    We initiate the study of regular real analysis, or the analysis of real functions that can be encoded by automata on infinite words. It is known that ω-automata can be used to represent {relations} between real ...
  • Relentful Strategic Reasoning in 1 Alternating-Time Temporal Logic 

    Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y. (2012-11-27)
    Temporal logics are a well investigated formalism for the specification, verification, and synthesis of reactive systems. Within this family, Alternating-Time Temporal Logic (ATL , for short) has been introduced as a ...
  • Solving Partial-Information Stochastic Parity Games 

    Nain, Sumit; Vardi, Moshe Y. (2013)
    We study one-sided partial-information 2-player concurrent stochastic games with parity objectives. In such a game, one of the players has only partial visibility of the state of the game, while the other player has complete ...