Keywords: منطق زمانی; Business process model; Declarative variability modeling; Event structure; Temporal logic;
مقالات ISI منطق زمانی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق زمانی; Supervisory control; Hazard monitoring; Temporal logic; Dynamic risk assessment; Verification;
Keywords: منطق زمانی; Temporal logic; Model checking; Satisfiability; Verification;
Keywords: منطق زمانی; Temporal logic; Visibly pushdown languages; Satisfiability; Model checking; Infinite games;
Keywords: منطق زمانی; Games; Temporal logic; Multi-agent systems; Formal verification;
Keywords: منطق زمانی; actor model; execution model; temporal logic; parallel computing system; platform independence;
Keywords: منطق زمانی; Multi-Agent Systems (MASs); trust; temporal logic;
Keywords: منطق زمانی; Linear Logic; Hybrid Linear Logic; subexponentials; logical frameworks; Temporal Logic;
Keywords: منطق زمانی; Quantum computing; Quantum state transformations; Temporal logic; Distributed temporal logic; Natural deduction;
Keywords: منطق زمانی; Control; Linear stochastic system; Temporal logic; Abstraction refinement; Games;
Keywords: منطق زمانی; Predicate detection; Temporal logic; Online algorithm; Distributed algorithm;
Keywords: منطق زمانی; 03B44; 03B70; 68T27; 91A40; Games and strategic reasoning; Temporal logic; Equilibria;
Keywords: منطق زمانی; Complexity of equilibria; Reactive modules; Temporal logic;
Keywords: منطق زمانی; Finite abstractions; Control synthesis; Robustness; Temporal logic; Hybrid systems;
Keywords: منطق زمانی; Stochastic games; Controller synthesis; Quantitative verification; Temporal logic; Multi-objective properties;
Keywords: منطق زمانی; Assertion-based monitoring; Analog and mixed-signal verification; Case study; Temporal logic; Automotive airbag system
Keywords: منطق زمانی; Optimizing compilers; Program transformations; Temporal logic; SMT solvers;
Keywords: منطق زمانی; Functional reactive programming; Temporal logic; Linear logic; Logic of bunched implications; Categorical semantics;
Keywords: منطق زمانی; Model checking; Modal transition systems; Temporal logic; Product families; Variability
Keywords: منطق زمانی; Temporal logic; Parametric real-time verification; (Parametric) timed automata;
Keywords: منطق زمانی; Model checking; Temporal logic; Computation tree logic; Fuzzy logic; Triangular norm
Keywords: منطق زمانی; Reaction system; Model checking; Temporal logic
Keywords: منطق زمانی; Temporal logic; Real-number time; Synthesis;
Keywords: منطق زمانی; Bisimulation; Transition system; Temporal logic; CTLâ; Model checking; Slicing; Behavior Trees;
Keywords: منطق زمانی; System design; Stochastic models; Robustness degree; Temporal logic
Keywords: منطق زمانی; Systems biology; Gene regulatory networks; Temporal logic; Reactive system verification;
Keywords: منطق زمانی; Formal methods; Distributed synthesis; Undecidability; Temporal logic;
Keywords: منطق زمانی; Temporal logic; CTL⁎; Formal languages; Expressive power; Model checking; Satisfiability
Keywords: منطق زمانی; Policy conflict analysis; Knowledge augmentation; Temporal logic; Semantic extension; Services collaboration
Keywords: منطق زمانی; Temporal logic; Model validation; Specification debugging; Model checking; Safety-critical system
Keywords: منطق زمانی; Timed games; Tree automata; Temporal logic
Keywords: منطق زمانی; Fuzzy logic; Temporal logic;
Keywords: منطق زمانی; Asynchronous process networks; Component algebra; Interface algebra; Orchestration; Service-oriented computing; Temporal logic;
Keywords: منطق زمانی; Temporal logic; Finite state machines; Formal verification; Path planning; Synchronization; Decentralized control; Robot control
Keywords: منطق زمانی; Formal methods; Temporal logic; Functional reliability; Fault-tolerant design; Verification; Cyber-physical systems; AND/OR graph search
Keywords: منطق زمانی; Temporal logic; Concurrent recursive programs; Nested words; Mazurkiewicz traces; Satisfiability; Model checking
Keywords: منطق زمانی; Temporal logic; Constraints; Theorem proving; Tableau
Keywords: منطق زمانی; Temporal logic; Talmudic logic; Public announcement logic
Equivalence between model-checking flat counter systems and Presburger arithmetic
Keywords: منطق زمانی; Model-checking; Flat counter systems; Temporal logic; CTL*; Presburger arithmetic;
Spatially-temporally online fault detection using timed multivariate statistical logic
Keywords: منطق زمانی; Temporal logic; Fault detection; Online; Principal component analysis;
Heterogeneous and asynchronous networks of timed systems
Keywords: منطق زمانی; Asynchronous process networks; Component algebra; Heterogeneous time; Orchestration; Temporal logic;
HRELTL: A temporal logic for hybrid systems
Keywords: منطق زمانی; Temporal logic; Hybrid traces; SAT; SMT;
Deciding safety and liveness in TPTL
Keywords: منطق زمانی; Formal methods; Real-time systems; Temporal logic; Safety and liveness; Verification; Computational complexity
Formal analysis of piecewise affine systems through formula-guided refinement
Keywords: منطق زمانی; Piecewise linear analysis; Temporal logic; Verification; Biotechnology
Temporal logic and operation relations based knowledge representation for land cover change web services
Keywords: منطق زمانی; Land cover; Change information; Temporal logic; Spatial operation; Knowledge representation
Complete assertional proof rules for progress under weak and strong fairness
Keywords: منطق زمانی; UNITY; Temporal logic; Weak fairness; Strong fairness; Proof rules
A planner agent that tries its best in presence of nondeterminism
Keywords: منطق زمانی; Automated planning; Planning under uncertainty; Planning as model checking; Temporal logic
Once and for all
Keywords: منطق زمانی; Temporal logic; Past-time operators; Expressive power; Decision procedures; Alternating automata
Temporal alethic–deontic logic and semantic tableaux
Keywords: منطق زمانی; T × W logics; Temporal logic; Modal logic; Deontic logic; Semantic tableaux; Historical necessity; The ought-implies-can principle; The means-end principle
Towards a notion of unsatisfiable and unrealizable cores for LTL
Keywords: منطق زمانی; Unsatisfiable cores; Unrealizable cores; Temporal logic; LTL